Stephen Chong
Assistant Professor of Computer Science
|
|
Research Interests
My research aims to help programmers write trustworthy programs. My primary area of interest is language-based security: using programming language techniques to provide information security assurance.
Information for prospective students
I am looking for talented and motivated students to work with, both undergraduate and graduate. More information can be found here. Here are some undergraduate research opportunities for Harvard undergraduates.
Recent publications
- A More Precise Security Type System for Dynamic Security Tests, PLAS 2010 .
- Required Information Release, CSF 2010.
- Self-Identifying Sensor Data, IPSN 2010 .
- Provenance: A Future History, OOPSLA Onward! 2009 .
- Deriving Epistemic Conclusions from Agent Architecture, TARK 2009 .
- Towards Semantics for Provenance Security, TaPP 2009.
- More...
Teaching
In Fall 2010 I am teaching CS 61: Systems Programming and Machine Organization. More details coming soon.
Previous courses:
- Spring 2010, CS 152: Programming Languages.
- Fall 2009, CS 252r: Advanced Topics in Programming Languages.
Affiliations
- Center for Research on Computation and Society
- Programming Languages at Harvard
- Systems Research at Harvard (SYRAH)
- Non-resident tutor of Adams House
Professional activities
- CSF 2010 Program Committee.
- FCS-PrivMod 2010 Program Committee.
- CCS 2010 Program Committee.
- APLWACA 2010 Co-chair (with Ben Livshits).
- PLAS 2009 Co-chair (with David Naumann).
- Past program committees: WebApps '10, Bytecode 2010, ASIAN 2009, HotSec '09, FCS09, CSF 2008, PLAS 2007.
Brief bio
I completed a Ph.D. at Cornell University in August 2008, under the guidance of Andrew Myers. Prior to graduate school, I spent several years working as a consultant and contractor. I received a B.Sc.(Hons) and B.A. from Victoria University of Wellington, in Wellington, New Zealand. My wife, Kiran Gajwani, is a College Fellow at Harvard.