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 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.
Some interests I have include:
I perform a few services for the department: