Welcome! I'm a graduate student in computer science at Carnegie Mellon University in Pittsburgh, PA. I study automated theorem proving and interactive proof assistants. My advisor is Frank Pfenning.

News

[07/2008] Getting excited for the ICFP programming contest .

[06/2008] New website!

[06/2008] Imogen paper submitted to LPAR .