Jean Yang is PhD candidate in MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL). She spends her time thinking about how to design programming languages and prove that software programs are correct. For her PhD thesis, she has created a programming language, Jeeves, that automatically enforces information flow policies for security and privacy. A proponent of strongly statically typed functional languages, she made the Haskell Ryan Gosling meme to encourage more people to learn Haskell. She co-directs NeuWrite Boston, a workshop of scientists and writers.