Education§

2010—2016 PhD Computer Science, Harvard University, 3.91

2008—2009 MSc Computer Science, University of Texas at Dallas, 3.96

2004—2007 BSc Computer Science, University of Texas at Dallas, 3.88

Relevant Experience§

2016—present Harvard University, Research Fellow with Stephen Chong
2010—2016 Harvard University, Research Assistant with Stephen Chong

Summer 2012 SRI International Computer Science Laboratory, Research Intern with Ashish Gehani and Natarajan Shankar

2009—2010 Defense Information Systems Agency, Computer Scientist

Summer 2006 IBM, Co-op Professional Programmer

2005—2007 University of Texas at Dallas, Mentor

Grants, honors, & awards§

2008—2009 Information Assurance Scholarship Program, U.S. Departement of Defense
2006—2007 Ericsson Engineering and Computer Science Scholarship, Ericsson
2004—2007 Academic Excellence Scholarship for National Merit Scholars, University of Texas at Dallas

Teaching§

2014 & 2015 Teaching Fellow, CS 152: Programming Languages
2011 Head Teaching Fellow, CS 61: Systems Programming and Machine Organization

Professional Activities§

2017 Program Committee, Dynamic Languages Symposium (DLS)
Program Committee, Workshop on Programming Languages and Analysis for Security (PLAS)
Program Committee, European Conference on Object-Oriented Programming Doctoral Symposium (ECOOP-DS)
2016 Artifact Evaluation Committee, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
2015 Session Chair: Capability Systems, 45th USENIX Vail Computer Elements Workshop
Between First and Fourth: Privacy and Speech on the Frontier of Technology Study Group, American Civil Liberties Union of Massachusetts
2014 Second place Built-it team, Build-it, Break-it, Fix-it Secure Programming Competition
2013 External Reviewer, Workshop on Programming Languages and Analysis for Security (PLAS)
External Reviewer, ACM Conference on Computer and Communications Security (CCS)
External Reviewer, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
2013 Summer School on Formal Methods for the Science of Security, University of Illinois, Urbana-Champaign