Kurzbiographie

Prof. Christoph Benzmüller ist seit 2022 Inhaber des Lehrstuhls für KI-Systementwicklung an der Universität Bamberg. Als außerplanmäßiger Professor ist er zudem mit dem Fachbereich Mathematik und Informatik der Freien Universität Berlin verbunden (dort war er erster UNA Europa Gastprofessor) und er unterhält eine enge Forschungskooperation mit der Universität Luxemburg. Darüber hinaus berät er KI-Startup-Unternehmen im In- und Ausland.

Benzmüller sieht KI weniger als Technologie, sondern vielmehr als wissenschaftliche Disziplin, die sich stärker auf die Erforschung und das Experimentieren mit repräsentierenden Objekten konzentrieren sollte.* Für Benzmüller stellt gerade die Exploration und flexible Verarbeitung von repräsentierenden Objekten in Computern in Kombination mit hybrider KI (Verschmelzung von symbolischen und subsymbolischen Techniken) eine zentrale Herausforderung und Chance dar für die Modellierung (stark) intelligenter KI-Systeme. Explizite, deklarative Repräsentationen sind besonders relevant auch für die Realisierung vertrauenswürdiger, verantwortungsvoller KI-Systeme, da sie (normatives und anderes) Wissen nicht nur transparent und erklärbar, sondern auch effizient und robust zwischen Mensch und Maschine kommunizierbar machen.

Benzmüller’s Forschung befasst sich daher mit Themen wie der Automatisierung von rationalem Argumentieren und normativem Schließen im Computer, Universeller Wissensrepräsentation, Computationaler Metaphysik und der Mechanisierung von Mathematischem Schließen (inklusive automatischem Theorembeweisen).

Benzmüller hat als Gastprofessor/Wissenschaftler an zahlreichen renommierten Universitäten im In- und Ausland geforscht und dabei ein enges Forschungsnetzwerk aufgebaut. Zu den Stationen seiner Karriere gehören: Freie Universität Berlin, Universität Luxemburg, Stanford University (USA), International University in Germany, Cambridge University (UK), University of Birmingham (UK), University of Edinburgh (UK) und Carnegie Mellon University (USA). Benzmüller studierte (1989-1995), promovierte (1999) und habilitierte (2006) an der Universität des Saarlandes.

Benzmüller’s Forschungsaktivitäten wurden gefördert u.a. von DFG (u.a. Heisenbergstipendium, Forschungstipendium, Sachbeihilfe, Sonderforschungsbereich), EPSRC/UK (Forschungsprojekt), Volkswagenstiftung (Experiment!), Studienstiftung des Deutschen Volkes (Promotionsstipendium), ERC (Research Training Network), FNR/Luxemburg und BMBF.

Vor seiner akademischen Laufbahn war Christoph Benzmüller ein erfolgreicher Langstreckenläufer auf nationaler Ebene.

(*Der Begriff ,,repräsentative Objekte'' geht auf den KI-Pionier Wolfgang Bibel zurück.)

Short Biography

Prof. Christoph Benzmüller is since 2022 Chair for AI Systems Development at the University of Bamberg. As an associate (apl.) professor he is also affiliated with the Department of Mathematics and Computer Science at Freie Universität Berlin (where he has been the first UNA Europa guest chair) and he maintains a close research collaboration with the University of Luxembourg. In addition, he advises AI startup companies in Germany and abroad.

Benzmüller sees AI less as a technology but rather as a scientific discipline that should more strongly focus on the exploration of, and experimentation with, representing objects.* For Benzmüller, it is precisely the exploration and flexible processing of representing objects in computers in combination with hybrid AI (fusion of symbolic and subsymbolic techniques) that constitues a core challenge and opportunity for the modeling of (strongly) intelligent AI systems. Explicit, declarative representations are also particularly relevant for the realization of trusted, responsible AI systems, since they make (normative and other) knowledge not only transparent and explainable, but also efficiently and robustly communicable between humans and machines.

Benzmüller's research therefore addresses topics such as the automation of rational argumentation and normative reasoning in intelligent agents, universal knowledge representation, computational metaphysics, and the mechanization of mathematical reasoning (including automated theorem proving).

Benzmüller has conducted research as a visiting professor/scholar at numerous prestigious universities in Germany and abroad and has established a close research network. Stations in his career include: Free University of Berlin, University of Luxembourg, Stanford University (USA), International University in Germany, Cambridge University (UK), University of Birmingham (UK), University of Edinburgh (UK) and Carnegie Mellon University (USA). Benzmüller studied (1989-1995), received his PhD (1999) and habilitated (2006) at Saarland University.

Benzmüller's research activities have been funded by the DFG (Heisenberg Fellowship, Research Stipend, Research Grant, Collaborative Research Center), EPSRC/UK (Research Grant), Volkswagen Foundation (Experiment!), Studienstiftung des Deutschen Volkes (Doctoral Scholarship), ERC (Research Training Network), FNR/Luxembourg, BMBF, among others.

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

(*The term "representing objects" goes back to the AI pioneer Wolfgang Bibel.)

(Another short bio can be found here.)