Jonathan Aldrich

Jonathan Aldrich is a Professor and Affiliated Faculty member in the Computer Science Department at Carnegie Mellon University. His research focuses on Programming Languages and Security, with an emphasis on formal methods, software engineering, and secure development practices. Aldrich's work explores how language design and type systems can enhance software quality, security, and developer productivity. He is currently involved in projects such as the development of the Wyvern programming language for secure web and mobile applications. His research includes evaluating practical benefits through case studies, human subjects experiments, and corpus studies with open source codebases. Aldrich's publications address topics such as concurrency, undefined behavior in Rust libraries, and security reasoning.

Jonathan Aldrich is a Professor of Computer Science at Carnegie Mellon University, specializing in Programming Languages and Software Engineering. His research focuses on improving software reliability and maintainability through advanced language design and static analysis techniques. Aldrich's work explores typestate-oriented programming, ownership domains, and architectural reasoning, aiming to enhance program understanding and correctness. He has developed systems like ArchJava and Discotect to connect software architecture with implementation and to discover architectures from running systems. His publications emphasize static analyses, modular reasoning, and API protocol conformance, contributing to the field of software engineering through formal methods and language support for connector abstractions.