Founder
Jean Yang
CEO and founder of Akita Software. Previously Assistant Professor of Computer Science at Carnegie Mellon University. Harvard CS '08; MIT CS PhD '15.
CEO and founder of Akita Software. Previously Assistant Professor of Computer Science at Carnegie Mellon University. Harvard CS '08; MIT CS PhD '15.
There was a problem loading your content.
Education
About
Achievements
I helped build Verve, the first operating system to be automatically verified end-to-end for Type Safety. Our Verve research paper won Best Paper Award at the Programming Language Design and Implementation conference '09 and was featured as a CACM highlight. I co-founded Graduate Women at MIT, and institute-wide organization that now has over 1200 members, two annual conferences, and a mentoring program.
Describe the most impressive thing you've done.
Locations