picture of Jonathan Aldrich

Jonathan Aldrich

Associate Professor
Director, Software Engineering Ph.D. program
co-Director, Software Engineering Minor

Address and Contact Information

Institute for Software Research
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891

jonathan.aldrich@cs.cmu.edu
http://www.cs.cmu.edu/~aldrich/
+1-412-268-7278 (phone)
+1-412-268-2338 (fax)
Office: 4216 Wean Hall
personal contact info and cell phone (CMU only)

Executive Assistant

Victoria Poprocky
+1-412-268-3063
poprocky at cs dot cmu dot edu
5125 Wean Hall

Research

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 Wyvern, a new modularly extensible programming language.

New Students Wanted!

For Summer 2014, I am looking for undergraduate or master's students for the following two research projects:

These are part of CMU's Research Experiences for Undergraduates in Software Engineering program.

Also see information for prospective Ph.D. students and advice for current students.

Projects

  • Plaid - A typestate-oriented, gradually typed programming language
  • AEminium - A concurrent-by-default programming language, implemented as an extension to Plaid
  • Object-Oriented Foundations - New models for object-oriented languages
  • Typestate - Verifying component and library usage constraints (Plural tool)
  • Separation Logic - Modular verification of higher-order, typed programs
  • Ownership and Architecture - Capturing the high-level structure of object graphs
  • ArchJava (no longer active) - Enforcing run-time software architecture within object-oriented code
  • SASyLF - An educational proof assistant for language and logic metatheory
  • Crystal - A Eclipse-based framework for teaching dataflow analysis

Selected Publications (full list, curriculum vitae, talks)

Recent work

Earlier work

Upcoming Events and Organizations

Personal

In August 2003, I started teaching at Carnegie Mellon University. Before that, I was a graduate student in Computer Science and Engineering at the University of Washington, working with Craig Chambers and David Notkin.

My wife Becky Billock and I enjoy hiking, backpacking, and mountain climbing, and playing music together. We were married in 2000 and have two beautiful daughters, Sierra and Evelyn.