research area

Available and Secure Computing Systems

dividing line

Current Projects:

Deep Software Assurance: Requirements, Techniques, Field Experience

Recent Publications

Verifying Correct Usage of Atomic Blocks with Typestate. Nels Beckman, Kevin Bierhoff, and Jonathan Aldrich. To appear in Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '08), Nashville, TN, USA, October 2008.

Error Reporting Logic. Ciera Jaspan, Trisha Quan, and Jonathan Aldrich. To appear in International Conference on Automated Software Engineering, September 2008.

Integrating Nominal and Structural Subtyping. Donna Malayeri and Jonathan Aldrich. To appear in European Conference on Object-Oriented Programming (ECOOP ’08), July 2008.

[email]

Use Carnegie Mellon's Directory

Jonathan aldrich

Jonathan Aldrich

Jonathan Aldrich is an Assistant Professor of the School of Computer Science. He does programming languages and software engineering research focused on developing better ways of expressing and enforcing software design within source code, typically through language design and type systems. He 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 (press release, article).

Education

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

Advisors: Craig Chambers and David Notkin
Thesis: Using Types to Enforce Architectural Design

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

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