TEACHING

Designed and implemented aspects of web application framework, for a financial services provider. ? March 1998–December 2000 Consultant at Accenture, Wellington, New Zealand. Worked on analysis, design, and implementation of large, custom-build systems fo

Stephen Chong

Curriculum Vitae

Department of Computer Science 5154 Upson Hall Cornell University Ithaca, NY 14853 Tel: 607-254-5075Fax: 607-255-4428schong@cs.cornell.eduwww.cs.cornell.edu/~schongVITA

Birth date: Nationality: Visa status: 10 February, 1976New ZealandPermanent resident

EDUCATION

Ph.D., Cornell University, Ithaca, NY, May 2008 (expected).Thesis title: Expressive and Enforceable Information Security PoliciesCommittee: Andrew C. Myers (chair), Fred B. Schneider, Dexter Kozen, David Easley.Minor field: Microeconomics

B.Sc.(Hons.), Victoria University of Wellington, New Zealand, 1997.

B.A. (Math., Science), Victoria University of Wellington, New Zealand, 1996.

January 2001–July 2001 Associate of RHE and Associates, Sydney, Australia.Designed and implemented aspects of web application frame-work, for a financial services provider.

March 1998–December 2000 Consultant at Accenture, Wellington, New Zealand.Worked on analysis, design, and implementation of large, custom-build systems for government agencies. Team leader for team of 10 programmers.

The goal of my research is to help programmers write trustworthy programs. My research interests in-clude information security, language-based security, and programming languages.

Best Paper Award, 2007 ACM Symposium on Operating Systems Principles.

Student Scholar, 2007 ACM Symposium on Operating Systems Principles.

Lockheed Martin Fellowship, 2001.

Teaching Assistant

Fall 2007

Fall 2004

Fall 2002

Spring 2002

Guest lecturer

Fall 2004

Fall 2004 EMPLOYMENTRESEARCH INTERESTSAWARDS AND FELLOWSHIPS TEACHING COM S 611: Advanced Programming Languages (part-time).COM S 411: Programming Languages and Logics (part-time).COM S 611: Advanced Programming http://www.wendangwang.com S 322: Introduction to Scientific Computation (part-time). COM S 312: Data Structures and Functional http://www.wendangwang.com S 312: Data Structures and Functional Programming.

TEACHING相关文档

最新文档

返回顶部