Chris MartensPh.D. candidate
Gates-Hillman Center 9005
I'm studying programming languages and logic in the Computer Science Department and Pure and Applied Logic Program at Carnegie Mellon University, advised by Karl Crary and Frank Pfenning.
Currently I am interested in formalizing reactive and interactive media. My tools of choice are proof theory and type theory, specifically as they pertain to logic programming, logical frameworks and specification languages. I believe that formalisms are good not only for correctness but for expressiveness and creativity.