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.
I'm responsible for the higher-order automated theorem prover Satallax.