Kurzbiographie: Christoph Benzmüller

Christoph Benzmüller ist Wissenschaftler für KI an der Freien Universität Berlin mit Lehrbefugnis in Mathematik und Informatik. Er war der erste UNA Europa Gastprofessor und er kooperiert derzeit als Berater mit KI Startup Unternehmen international und in Berlin. Aktuelle Forschungsarbeiten von Benzmüller adressieren neben der Automatisierung von normativem Schließen und rationalem Argumentieren zur Realisierung verantwortungsvoller KI Systeme, auch Themen wie Universelle Wissensrepräsentation, Computationale Metaphysik und Formale Grundlagen und Mechanisierung der Mathematik. Zu früheren Stationen seiner Karriere gehören: Universität Luxembourg, Stanford University (USA), Cambridge University (GB), University of Birmingham (GB), University of Edinburgh (GB) und Carnegie Mellon University (USA). Studiert (1989-1995), promoviert (1999) und habilitiert (2006) hat Benzmüller an der Universität des Saarlandes.

Short Biography: Christoph Benzmüller

Christoph Benzmüller is a scientist in Artificial Intelligence/Computer Science and Mathematics at Freie Universität Berlin (Germany). He has been the first UNA Europa guest chair and he is currently collaborating as a consultant with AI startup companies internationally and in Berlin. Christoph's prior research institutions include the universities of Luxembourg (LU), Stanford (USA), Cambridge, Birmingham, Edinburgh (all UK), the Saarland (Germany) and CMU (USA).

Christoph received his PhD (1999) and his Habilitation (2007) from Saarland University, his PhD research was partly conducted at CMU. In 2012, Christoph was awarded with a Heisenberg Research Fellowship of the German National Research Foundation (DFG).

The research activities of Christoph are interfacing the areas of artificial intelligence, philosophy, mathematics, computer science, and natural language. Current research focuses on the use of formal argumentation & explanation to achieve trustworthy AI systems, in other words: reasonable machines. Christoph is particularly interested in the use of classical higher-order logic (HOL) as a universal meta-logic to automate various non-classical logics and to utilise them in topical application areas, including machine ethics & machine law, metaphysics, mathematical foundations and rational argumentation. His activities also address the integration of automated reasoning, machine learning and agent-based architectures.

Christoph is trustee and vice-president of CADE (Conference on Automated Deduction), board member of AAR (Association of Automated Reasoning), steering committee member of DEON (Society of Deontic Logic and Normative Systems) and former 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 a range of conferences and organisations in artificial intelligence, computer science, philosophy and mathematics.

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

(Another short bio can be found here.)