Gates-Hillman Center 9110
(412) 268-8084
I am a second-year (entered 2008) Ph.D. student in the Computer Science Department and Pure and Applied Logic Program at Carnegie Mellon University. My advisor is Karl Crary.
My interests include logical frameworks, type theory, and proof theory.
Right now I am working on formalizing the metatheory of LF within the Twelf proof assistant, which uses LF as its representation theory.
As an undergraduate, I was advised by Frank Pfenning and Jason Reed on a senior thesis extending Hybrid LF to the case of ordered logic.
I play games of all varieties, especially interactive fiction (AKA text adventures). I read a ton of comics and make them myself sometimes. A similar story applies to music. I climb at the climbing wall.
I occasionally remember things other people say.
I write other things down elsewhere.