I am a graduate student at Cornell in the Computer Science Department, under the supervision of Robert Constable. Here's a summary of my current status:


My interests include the theory and practice of programming languages. There is a great resource at CMU under The Fox Project Home Page, especially Mark Leone's resources for programming language research.

My own work in programming languages is mainly software verification. One of the tools I use for specification is type theory. I use the formal system Nuprl, developed here at the Cornell University Department of Computer Science. In my research I make use of higher-level modules and abstract data types, and relate them to type-theory.

Here are some recent papers:

I also have some slides of talks I have given in the Nuprl seminar. The slides can be pretty technical, but they give an overview of the work I've done at Cornell.


If you want to see more about me, try a sequence on identification.

Some interests I have include:

I perform a few services for the department: