Bio: I am a PhD student at Northeastern University. I am interested in pragmatic programming language design. My current research focuses on enabling programmers to evolve real code bases using tools such as type systems and software contracts.