Jean Yang is an Assistant Professor at Carnegie Mellon University in the Computer Science Department. She completed her PhD at MIT in 2015 and is spending the 2015-2016 academic year at Harvard Medical School. For her PhD thesis she created the Jeeves programming language for automatically enforcing security and privacy policies. Her work on Verve, an operating system verified automatically and end-to-end for type safety, won Best Paper Award at the Programming Language Design and Implementation Conference.
Jean’s talk is now available on the Chariot Solutions website.