Generate a tailored SOP for Dr. Jonathan Aldrich. Improve your application with a focused, well-structured draft.
Jonathan Aldrich works at the intersection of programming languages and software engineering. His research explores the ways to express how software affects the ability to engineer software at scale. A particular theme of his work is improving software quality and programmer productivity through ways to express the structural and behavioral aspects of software design in source code. He has contributed to object-oriented typestate verification, modular reasoning techniques for aspects of stateful programs, and new object-oriented language models. His work on specifying and verifying software architecture has received notable recognition, including the 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize. Currently, he is excited about working on the design of Wyvern, a new modularly extensible programming language, and on several projects including the general-purpose language focused on security and modularity.
Admission is extremely competitive with no strict GPA cut-offs; holistic review is used.