Scholar
Jonathan Aldrich
Google Scholar ID: AzHmOtcAAAAJ
Professor of Computer Science, Carnegie Mellon University
Programming Languages
Software Engineering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,587
H-index
23
i10-index
44
Publications
20
Co-authors
18
list available
Contact
Email
jonathan.aldrich@cs.cmu.edu
CV
Open ↗
Twitter
Open ↗
Publications
2 items
Semantically Separating Nominal Wyvern for Usability and Decidability
2025
Cited
0
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
arXiv.org · 2024
Cited
1
Resume (English only)
Academic Achievements
Received NSF CAREER Award in 2006
Awarded the 2007 Dahl-Nygaard Junior Prize
Co-authored 'Programming Language Pragmatics', Fifth Edition (released January 2025)
Served on program committees for top-tier conferences including OOPSLA, ICSE, and SPLASH (e.g., OOPSLA 2017 PC Chair, SPLASH 2015 General Chair)
Member of the ACM Publications Board
Research Experience
Currently Professor at Carnegie Mellon University
Co-founded Noteful during Spring 2022 sabbatical—a company dedicated to teaching music literacy
Advises PhD students and welcomes prospective applicants
Leads active projects including Borrow Sanitizer, Gradual Verification, TTPython, Liquid Java, and SASyLF
Previously led or contributed to projects such as Wyvern, Obsidian, Plaid, ArchJava, and Penrose
Co-authors
18 total
Joshua Sunshine
Assistant Professor, Carnegie Mellon University
Co-author 2
Alex Potanin
Associate Professor, Australian National University
Co-author 4
Cyrus Omar
Assistant Professor, Computer Science and Engineering, University of Michigan
Co-author 6
Rick Kazman
Professor, University of Hawaii
Ronald Garcia
University of British Columbia
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up