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

---

CategoryAuthor