Jonathan Aldrich

JonathanAldrich - Associate Professor of the School of Computer Science - CarnegieMellonUniversity

Jonathan
- 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.
- 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
  - http://www.cylab.cmu.edu/education/faculty/aldrich.html
- Curriculum Vitae
  - http://www.cs.cmu.edu/~aldrich/aldrich-cv.html