Generate a tailored SOP for Dr. Jonathan Aldrich. Improve your application with a focused, well-structured draft.
Jonathan's work lies at the intersection of programming languages and software engineering. His research explores the ways in which the expression of software affects the ability to engineer software at scale. A particular theme of his work is improving software quality and programmer productivity through the ways in which structural and behavioral aspects of software design can be expressed in source code. He has contributed to object-oriented typestate verification, modular reasoning techniques for aspects of stateful programs, and new models for object-oriented languages. His work involves specifying and verifying software architecture. In recognition of his contributions, Jonathan received the NSF CAREER award in 2006 and the Dahl-Nygaard Junior Prize in 2007. Currently, he is excited about working on the design of Wyvern, a new modularly extensible programming language. His projects include Wyvern, a general-purpose language focused on security and modularity, and Plaid, a typestate-oriented, gradually typed programming language. His other initiatives include research on various programming language construction theories like Ownership Architecture and educational tools such as the SASyLF proof assistant.
Carnegie Mellon University • Pittsburgh, PA
Teaching and conducting research in software engineering and programming languages.
Admission is extremely competitive with no strict GPA cut-offs; holistic review is used.