PD Dr. Christoph Benzmüller
Heisenberg Fellow of the German Research Foundation
Freie Universität Berlin
Department of Mathematics and Computer Science
Arnimallee 7, 115
14195 Berlin
c.benzmueller[at]googlemail.com
 
Short Biography | CV | Research | Publications | Talks | Teaching
 
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
  OMEGA: Agent-oriented Proof Planning
  DIALOG: NL-based Interaction with a Mathematics Assistance System
  CALCULEMUS: Integration of Symbolic Reasoning and Symbolic Computation
  OANTS: Agent-oriented Theorem Proving
 

Some Recent Publications (for a complete list and for downloads please see here; please obey existing copyrights)
 
* Automating Quantified Conditional Logics in HOL. IJCAI, 2013. (pdf)
* A Top-down Approach to Combining Logics, ICAART, 2013. (pdf)
* Sigma: An Integrated Development Environment for Formal Ontology. AI Communications, 2013. (pdf)
* Quantified Multimodal Logics in Simple Type Theory. Logica Universalis, 2013. (pdf)
* Implementing and Evaluating Provers for First-order Modal Logics. ECAI, 2012. (pdf)
* Embedding and Automating Conditional Logics in Classical Higher-Order Logic. Ann Math Artif Intell, 2012. (pdf)
* Higher-Order Aspects and Context in SUMO, Journal of Web Semantics, 2012. (pdf)
 
Hobbies
 
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, 2012