Jonathan Aldrich works at the intersection of programming languages and software engineering. His research explores how the way we express software affects our ability to engineer software at scale. A particular theme of much of his work is improving software quality and programmer productivity through better ways to express structural and behavioral aspects of software design within source code. Aldrich has contributed to object-oriented typestate verification, modular reasoning techniques for aspects and stateful programs, and new object-oriented language models. For his work specifying and verifying architecture, he received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize. Currently, Aldrich excited to be working on the design of Wyvern, a new modularly extensible programming language.

4216 Wean Hall
Google Scholar
Jonathan Aldrich
Jonathan Aldrich


2003 Ph.D., Computer Science and Engineering, University of Washington

1999 M.S., Computer Science and Engineering, University of Washington

1997 B.S., Engineering and Applied Science (Computer Science), California Institute of Technology


Media mentions

CyLab Security and Privacy Institute

CMU brings together experts from academia and industry during inaugural Secure Blockchain Summit

On May 8-9, the Carnegie Mellon CyLab Security and Privacy Institute hosted the University's first-ever Secure Blockchain Summit, bringing together experts from around the world to share their research and discuss the future of the technology and its applications.