''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