Stella Lau


I am a PhD student in the Programming Languages and Verification group at MIT, advised by Adam Chlipala. Previously I was at the University of Cambridge, where I obtained an MEng and BA working with Peter Sewell, Marcelo Fiore, and Timothy Griffin. My research interests include programming languages, formal methods, and computer security. In the past, I have interned at Google, Jane Street, and Facebook.