Stephen Chong is an Assistant Professor of Computer Science at the Harvard School of Engineering and Applied Sciences. The security of our information is an important and pressing problem, particularly as more and more of our private, government, and corporate, data are handled by complex, interconnected computer systems. Stephen Chong's research aims to help programmers write trustworthy programs. He focuses on using programming language technologies (including type systems, dataflow analyses, and runtime mechanisms) to provide strong, practical information security guarantees.
Chong's research to date has concentrated on expressive yet enforceable security policies: how to specify, reason about, and efficiently enforce them in practical computer systems.
Chong received a Ph.D. in Computer Science from Cornell University; a B.Sc. in Computer Science and a B.A. in Math and Science from Victoria University of Wellington, New Zealand. Prior to his appointment at Harvard, Chong was a visiting scholar at Pomona College and a Research Associate at the University of New South Wales. He has also worked as an information technology consultant and contractor. Chong has served as the co-chair of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009), and on numerous other program committees.
Chong's awards include a Best Paper Award at the 2007 ACM Symposium on Operating Systems Principles (SOSP), a Lockheed Martin Fellowship, and a Commonwealth Scholarship.