Jonathan Aldrich is an Associate Professor of the School of Computer Science. He 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. He 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 (press release, article). For more on Jonathan, click here.
Current projects:
A Language and Framework for Development of Secure Mobile Applications
Team Member: Anthony Tomasic
Does Evidence Production Provide Productivity Benefits - the case of API compliance
Team Members: Laurie Williams, Jianwei NIU