Registered user since Mon 8 Jun 2015
Stephen Chong is a Gordon McKay Professor of Computer Science in the Harvard John A. Paulson School of Engineering and Applied Sciences. Steve’s research focuses on programming languages, information security, and the intersection of these two areas. He is the recipient of an NSF CAREER award, an AFOSR Young Investigator award, and a Sloan Research Fellowship. He received a PhD from Cornell University, and a bachelor’s degree from Victoria University of Wellington, New Zealand.
|SPLASH 2020|| Formulog: Datalog for SMT-Based Static Analysis|
Formulog: Datalog for SMT-based Static Analysis
Formulog: Datalog for SMT-Based Static Analysis
|Show activities from other conferences|
View general profile