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.)