Jean Yang

Jean Yang is a final-year PhD student at MIT. Jean creates programming languages and tools that make it easier for people to write the programs they intend to write. During her PhD she created a language, Jeeves, that automatically enforces information flow policies for security and privacy. She graduated with a degree in Computer Science from Harvard University in 2008 and has interned at Google, Facebook, and Microsoft Research. She won Best Paper Award at the Programming Languages and Implementation conference in 2009 for her paper. Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System.