McGrawTower.gif (27935 bytes)


Academics

My curriculum vitae is available.  See also my job application materials page.

Teaching
In addition to my research, I'm also interested in teaching.  So far, I've twice been a teaching assistant for CS611 (Graduate programming languages), designed and taught the class CS112 (Transition to Java, now CS202), and given a twelve lecture mini-course on category theory for our research group.

Academic and Professional Highlights

Present: 6th Year Ph.D. Student in Computer Science, Minor in Mathematics
2001: My paper, Untrusted Hosts and Confidentiality: Secure Program Partitioning, co-authored by Lantian Zheng, Nate Nystrom and Andrew Myers, won best-paper award at SOSP in Lake Louise, Canada.
2001: Recipient of an Intel Foundation Graduate  Fellowship
1999: My  paper, Principals in Programming Languages, co-authored by Dan Grossman and Greg Morrisett, won best-paper award at PLI'99 in Paris, France.
1999: Summer intern for Lucent Technologies Bell Labs Innovations, where I worked with Jon Riecke.
1998: Designed and taught the first version of CS112: Transition to Java, now being offered as CS202
1996-1999 Supported by National Science Foundation fellowship.
1996 Summer intern for Imperative!, a web-based startup in Pittsburgh.
1996 Received B.S. in Computer Science and Mathematics with Honors
Carnegie Mellon University, GPA: 3.96
Inducted into Phi Beta Kappa and Phi Kappa Phi National Honor Societies
1995 Summer intern for the computer support group of Merck & Co.
1994-1996 Recipient of Merck Fellowship
1993-1994 Member of Lambda Sigma, a National Sophomore Honor Society
1992 Graduated from Somerset Area Sr. High School with Honors for being in the top 2% of the class

Professional Activities
Member: ACM and IEEE
I've reviewed papers for:

Journals

Conferences

Workshops

  • FOOL
  • ML-Workshop
  • Haskell Workshop

Graduate Courses Taken

Home

Research

Academics

Fun

Friends

Photo Gallery

Last updated: 12/17/01

 

Last updated: 12/17/01.