Short Biography: Christoph Benzmüller

Christoph Benzmüller's research interests are situated in the intersection of artificial intelligence, computer science, mathematics, philosophy and natural language. Many of his research activities draw on classical higher-order logic (HOL), which has is roots in the work by Russel and Church. Christoph has contributed to the semantics and proof theory of HOL, and together with colleagues and students he has developed the Leo theorem provers for HOL. Recently he has been utilising HOL as a universal meta-logic to encode and apply various non-classical logics in different application areas, including computational metaphysics, machine ethics & machine law, rational argumentation, category theory, etc. Recent research also addresses the integration of automated reasoning and machine learning.

At present, he is visiting the University of Luxembourg. From July 2018 to June 2019 he will be guest professor in computer science at Freie Universität Berlin.

Previous research stations of Christoph include Stanford University, USA (visiting scholar), Articulate Software, USA (senior researcher), Intl. University of Germany, Bruchsal (full professor), University of Cambridge, UK (senior researcher), Saarland University (associate professor), University of Birmingham, UK and the University of Edinburgh, UK (postdoc).

Christoph received his PhD (1999) and his Habilitation (2007) in computer science from Saarland University. His PhD was partly conducted at Carnegie Mellon University, USA. In 2012, Christoph had been awarded with a Heisenberg Research Fellowship of the German National Research Foundation (DFG).

Christoph is trustee and vice-president of CADE (Conference on Automated Deduction), board member of AAR (Association of Automated Reasoning) and spokesman of the section Deduction Systems of the Gesellschaft für Informatik. He serves in various further functions (chair, editorial board, steering committee, trustee, etc.) for various conferences and organisations.

Prior to his academia career, Christoph Benzmüller was a successful long-distance runner at German national level.

C. Benzmüller (Last modified: Wed May 16 09:45:11 CEST 2018 )