Stephen Chong

Stephen Chong is the Gordon McKay Professor of Computer Science at Harvard University’s John A. Paulson School of Engineering and Applied Sciences (SEAS). He also serves as Co-Director of Undergraduate Studies for Harvard’s Computer Science program and Faculty Dean at Winthrop House. His research focuses on trustworthy programming, language-based information security, and formal methods. He holds a PhD from Cornell University (2008) and a B.Sc.(Hons) and B.A. from Victoria University of Wellington.

• Affiliations: SEAS, Winthrop House
• Research Interests: Programming languages, security, formal methods, cyber-physical systems

Notable awards include the Alfred P. Sloan Research Fellowship (2014) and NSF grants. His work spans secure systems, compiler optimization, and privacy-preserving technologies. Recent projects include Formulog (Datalog extensions), PRINCESS (autonomous software adaptation), and secure shell scripting with Shill.

Publications emphasize formal verification, system robustness, and program synthesis. He teaches courses like CS1530 (Compilers) and advises over 20 graduate and undergraduate researchers.