Update: I have left my PhD program and am now at Skydeck.
Hi. I am a 2nd-year PhD student in computer science at Carnegie Mellon University. My advisor is Karl Crary. We are working mostly on type systems for low-level code and the design of an operating system which uses type systems to be more secure and reliable.
Over summer 2006 I worked with Umut Acar and Matthias Blume on correctness and consistency theorems for self-adjusting computation. The Twelf mechanization of this work is here.
My office is Wean 8114 and the phone there is 412.268.3056. My email is jdonham at cs.cmu.edu.