I am an Associate Professor, Director of Software Engineering Minor and co-Director of the Software Engineering Ph.D. program at Carnegie Mellon University, PA, USA.

Research Interests: My research goal is to improve the quality of software and the productivity of engineers by providing novel ways to express and enforce structural and behavioral aspects of software design within source code, typically through language design and type systems. I have contributed to object-oriented typestate verification, modular reasoning techniques for aspects and stateful programs, and new object-oriented language models. For my work specifying and verifying architecture, I received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize (press release, article). Right now I’m excited to be working on the design of the Plaid programming language!