SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Jonathan Aldrich

Registered user since Wed 4 Jun 2014

Name: Jonathan Aldrich

Bio: I am an Associate Professor, Director of Software Engineering Minor and co-Director of the Software Engineering Ph.D. program at Carnegie Mellon University, PA, USA.

Research Interests: My research goal is to improve the quality of software and the productivity of engineers by providing novel ways to express and enforce structural and behavioral aspects of software design within source code, typically through language design and type systems. I have contributed to object-oriented typestate verification, modular reasoning techniques for aspects and stateful programs, and new object-oriented language models. For my work specifying and verifying architecture, I received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize (press release, article). Right now I’m excited to be working on the design of the Plaid programming language!

Country: United States

Affiliation: Carnegie Mellon University

Personal website: http://www.cs.cmu.edu/~aldrich/

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile