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.
Ari Rabkin received his PhD in computer science in 2012, from UC Berkeley. His research focused on systems and software engineering. After postdoctoral work at Princeton, he joined the private sector and works as a software engineer in the Boston area. He has done significant work on the sociology of programming languages. His paper on language adoption was awarded Best Paper at the OOPSLA 2013 conference. He is broadly interested in understanding how social and technical systems influence each other.
Can we get a schooling system with some standards?