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
- Curriculum Vitae