ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Jonathan Aldrich

Registered user since Wed 4 Jun 2014

Name: Jonathan Aldrich

Bio: Jonathan Aldrich is Associate Professor of Computer Science at Carnegie Mellon University. He is the director of CMU’s Ph.D. and undergraduate minor programs in Software Engineering, and teaches courses in programming languages, software engineering, and program analysis for quality and security. In addition, he serves as a consultant on architecture, design, and legal issues in the software industry. Dr. Aldrich joined the CMU faculty after completing a Ph.D. at the University of Washington and a B.S. at Caltech.

Dr. Aldrich’s research centers on programming languages and type systems that are deeply informed by software engineering considerations. His research contributions include verifying the correct implementation of an architectural design, modular formal reasoning about code, and API protocol specification and verification. For his work on software architecture, Aldrich received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize, given annually for a significant technical contribution to object-oriented programming. Current areas of research focus include extensible programming languages, analysis and type systems for security and productivity, and foundations of object-oriented programming.

Affiliation: Carnegie Mellon University

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

Contributions

DSLDI 2015Panelist of Panel Discussion: Language Composition within the DSLDI-track
FTfJP 2015Author of Delegation vs Inheritance for Typestate Analysis within the FTfJP-track
ECOOP 2015Author of A Theory of Tagged Objects within the Artifacts-track
Author of A Theory of Tagged Objects within the Research Track-track
Invited Guest of Tales from Dissertationland and the Job Hunt within the Doctoral Symposium-track
Invited Guest in Academic Panel within the Doctoral Symposium-track
Session Chair of Empirical Studies (part of Research Track)
Show activities from other conferences

ECOOP 2015-profile
View general profile