معرفی
Jonathan Aldrich is a Professor of Computer Science at Carnegie Mellon University in the School of Computer Science, jointly appointed in the Software and Societal Systems Department and the Computer Science Department. He is an internationally recognized expert in programming languages, software engineering, and verification, with a strong emphasis on human factors and usability in language design.
Education:
- Ph.D. in Computer Science and Engineering, University of Washington (2003)
- B.S. in Computer Science, Caltech
Research Interests:
Prof. Aldrich's research lies at the intersection of programming languages and software engineering, focusing on how language design affects software quality and developer productivity. His work spans:
- Gradual verification and type systems
- Ownership and typestate checking
- Security and information flow control
- Usability of advanced type systems
- Domain-specific languages for blockchain and IoT
Recent Work Trends:
His recent publications emphasize gradual verification techniques, which allow developers to incrementally verify software correctness. He has also explored liquid types, information flow control, and usability barriers in advanced type systems. His work often combines formal methods with empirical studies to ensure practical impact.
Awards & Recognition:
- NSF CAREER Award (2006)
- Dahl-Nygaard Junior Prize (2007)
- ICSE Most Influential Paper Award (2012)
- DARPA Computer Science Study Group
Leadership & Service:
Prof. Aldrich has held numerous leadership roles in the academic community, including:
- Director, CMU Software Engineering Ph.D. Program (2013–2019)
- General Chair, SPLASH 2015
- Program Chair, OOPSLA 2017
- Steering Committee Chair, SPLASH (2017–2019)
- Member, ACM Publications Board
Industry Engagement:
He is the Chief Technology Officer of Noteful, a startup he co-founded during his 2022 sabbatical, focused on music education through interactive apps.
