Since January 2008, I have been an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. The goal of my research is to help developers state and verify key design properties of their software; I apply static analysis techniques to software engineering problems. In 2007, I was a postdoc at McGill University's School of Computer Science, working with Laurie Hendren, Eric Bodden, and the Sable research group. For many years before that, I was a PhD student at MIT's Computer Science and Artificial Intelligence Laboratory, working with Martin Rinard, Viktor Kuncak, and others.