Chris Martens

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.

Research

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.

Notes

Other things and people

Not Research

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.


λx.x