Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
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 Software Engineering Ph.D. program, 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. He is currently performing research on extensible programming languages, analysis and type systems for security and productivity, and foundations of object-oriented programming.

Country: United States

Affiliation: Carnegie Mellon University

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

Research interests: Programming Languages, Software Engineering, Verification, Security


Onward! 2019
GPCE 2019Committee Member in Program Committee within the GPCE 2019-track
SPLASH 2019Committee Member in Program Committee within the Doctoral Symposium-track
Author of Gradual Program Analysis within the Posters-track
Steering Committee Chair in Steering Committee
Session Chair of Corpus Studies (part of OOPSLA)
Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track
Author of Gradual Program Analysis within the SRC-track
Steering Committee Chair in Onward! Steering Committee within the Onward! Essays-track
Author in Onward! Steering Committee within the Onward! Papers-track
Show activities from other conferences

SPLASH 2019-profile
View general profile