MIME-Version: 1.0 Server: CERN/3.0 Date: Wednesday, 20-Nov-96 19:49:40 GMT Content-Type: text/html Content-Length: 3179 Last-Modified: Wednesday, 11-Sep-96 13:10:28 GMT
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: