معرفی
Jonathan Aldrich is a Professor in the Software and Societal Systems Department at Carnegie Mellon University's School of Computer Science, where he also directs the Software Engineering Ph.D. program. His research bridges programming languages and software engineering, focusing on how software expression affects engineering at scale. Key contributions include Wyvern (security-focused language), Plaid (typestate-oriented language), and gradual verification techniques.
His research explores software quality and productivity through improved expression of structural and behavioral design aspects. Recent work emphasizes security-aware language design, blockchain programming (Obsidian), formal verification, and usability in programming languages. Aldrich maintains active projects in gradual verification, symbolic execution, and safe concurrency models.
Publication analysis reveals strong emphasis on formal methods (63%), language design (47%), and security (30%), with emerging work in blockchain (20%) and human-computer interaction (17%). Recent articles demonstrate increased focus on verification techniques applied to smart contracts and real-world systems.
Scientific Awards:
- Dahl-Nygaard Junior Prize (2007) for architecture verification
- NSF CAREER Award (2006) for software architecture research
As Ph.D. program director, Aldrich leads research groups including the Wyvern and Obsidian language teams. He maintains collaborations through the ACM Publications Board and conference leadership roles (OOPSLA 2017 chair, ECOOP committees). Current grants support work on gradual verification and language-based security.
