Christoph Benzmüller
Articulate Software, Angwin, CA, USA
c.benzmueller@googlemail.com
 
 
For more than a decade Christoph Benzmüller has been working as a researcher at the boundry of Automated Reasoning, Computational Logic, Artificial Intelligence, Computer-supported Mathematics, Cognitive Science and Computational Linguistics.
 
Main Projects
 
  ONTOLEO: Higher-Order Ontology-Reasoning with LEO-II (ongoing work)
  LEO-II: An Effective Higher-Order Theorem Prover (World Champion 2010, ongoing work)
  THFTPTP: An Infrastructure for Higher-order Automated Theorem Proving (ongoing work)
  OMEGA: Agent-oriented Proof Planning
  DIALOG: NL based Interaction with a Mathematics Assistance System
  OANTS: Agent-oriented Theorem Proving
 
 
Some Recent Publications (for a complete list see here)
 
* Combining Logics in Simple Type Theory. ECAI 2010 Workshop CLIMA XI, 2010.
* Granularity-Adaptive Proof Presentation SEKI Working-Paper SWP-2009-01, 2009.
* Lectures on Jacques Herbrand as a Logician. SEKI Report SR-2009-01, 2009. (See also the related article 'Jacques Herbrand: Life, Logic, and Automated Deduction' in the Handbook of the History of Logic, Elsevier, 2008).
* Cut-Simulation and Impredicativity. Logical Methods in Computer Science, 2009.
* Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity. Teaching Mathematics and Computer Science. 2009.
* Cut Elimination with Xi-Functionality. Festschrift in Honor of Peter B. Andrews, 2008.
 
 
I am still a passionate middle and long-distance runner. More than a decade ago I lived and trained at the Olympic Centre in Saarbrücken. In 1990 I was German Champion with the men's team in cross-country running. Feel free to beat some of my personal records: 2:25min (1000m), 3:49min (1500m), 8:14 (3000m), 14:13min (5000m), 30:04min (10000m). Since 2004 I am occasionally starting again in some street races; here are some recent results.
 
Recently, I have also become an enthusiastic diver. Furthermore, I like skiing and reading newspapers.
 
 
C. Benzmüller, 2010