McGrawTower.gif (27935 bytes)


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

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:




  • FOOL
  • ML-Workshop
  • Haskell Workshop

Graduate Courses Taken






Photo Gallery

Last updated: 12/17/01


Last updated: 12/17/01.