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.
Slides from Deduktionstreffen 2009, Jacobs University, Bremen