Researcher
I am part of Professor Gert Smolka's Programming Systems Lab at the Universität des Saarlandes in Saarbrücken, Germany. My research area is higher-order theorem proving. I obtained my Ph.D. in 2004 from the Department of Mathematical Sciences at Carnegie Mellon University.
Click here for JITPRO: An interactive higher-order tableau prover in Javascript.
Click here for a list of Bachelors and Masters projects.
Reducing Theorem Proving to a Sequence of SAT Problems (Slides from September 2010)
Slides from Deduktionstreffen 2009, Jacobs University, Bremen