Generate a tailored SOP for Dr. Justin Hsu. Improve your application with a focused, well-structured draft.
Justin Hsu is an Associate Professor in the Department of Computer Science at Cornell University. He received his PhD from the University of Pennsylvania, where he focused on programming principles, logic, and verification. His research interests include design methods for formally verifying algorithms and ensuring their correctness, with a particular focus on programs that satisfy quantitative guarantees and properties applicable to mathematical and scientific contexts. He investigates various types of programs rich in mathematical structure, including continuous-time systems, symmetries in programming, economic mechanisms, and runtime monitors for hierarchical policies. His teaching spans topics such as Data Structures and Functional Programming. He has received numerous accolades throughout his career, including the EATCS Presburger Award, Royal Society Wolfson Visiting Fellowship, and multiple distinguished paper awards at prominent conferences. In addition to his teaching and research, he is actively involved in academic service, contributing to various conferences in the field of theoretical computer science.
Cornell University • Ithaca, New York
Teaching and conducting research in theoretical computer science, focusing on programming principles, logic, and verification.
Cornell University • Ithaca, New York
Taught courses and conducted research in theoretical computer science.
University College London • London, UK
Engaged in research activities in programming principles and verification.
Department of Architecture