Kurzbiographie
Prof. Christoph Benzmüller hat den Lehrstuhl für KI-Systementwicklung an der Universität Bamberg inne, ist außerplanmäßiger Professor an der Freien Universität Berlin und arbeitet u.a. eng mit der Universität Luxemburg zusammen. Er ist Mitglied der Vereinigung Deutscher Wissenschaftler (VDW) und deutscher Ansprechpartner für die Confederation of Laboratories for Artificial Intelligence Research in Europe (CLAIRE).
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 ist die Erforschung und flexible Verarbeitung repräsentierenden Objekte innerhalb hybrider (oder neurosymbolischer) KI-Architekturen, die symbolische und subsymbolische Techniken miteinander verbinden, eine zentrale Herausforderung und Chance für die Modellierung (stark) intelligenter KI-Systeme. Explizite, deklarative Repräsentationen sind auch für die Realisierung vertrauenswürdiger, kontrollierbarer KI-Systeme besonders relevant, da sie nicht nur (normatives und anderes) Wissen transparent und begründbar machen, sondern auch eine effiziente und präzise Kommunikation zwischen Mensch und Maschine ermöglichen.
Benzmüllers Forschung befasst sich daher mit Themen wie der
Automatisierung rationalen und normativen Schließens in Computern,
universeller Wissensrepräsentation, Computationaler Metaphysik und der
Mechanisierung mathematischen Schließens. Ein besonderer
Forschungsschwerpunkt liegt auf dem interaktiven und automatischen
Theorembeweisen höherer Stufe als Rückgrat für die oben genannten
Aktivitäten.
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 holds the Chair of Artificial Intelligence
Systems Engineering at the University of Bamberg, is an Adjunct
Professor at the Freie Universität Berlin, and collaborates closely
with the University of Luxembourg, among others. He is a member of the
Federation of German Scientists (VDW) and a German national contact
for the Confederation of Laboratories for Artificial Intelligence
Research in Europe (CLAIRE).
For Benzmüller, AI is less a technology than a scientific discipline that should conceptually focus more on the exploration and experimentation with the abstract representation of objects. For Benzmüller, the exploration and flexible processing of abstract representational objects within hybrid (or neuro-symbolic) AI architectures that merge symbolic and sub-symbolic techniques is a key challenge and opportunity for modelling (strongly) intelligent AI systems. Explicit, declarative representations are also particularly relevant for the realisation of trusted, controllable AI systems, since they not only make (normative and other) knowledge transparent and justifiable, but also enable efficient and precise communication between humans and machines.
Benzmüller's research therefore addresses topics such as the automation of rational and normative reasoning in computers, universal knowledge representation, computational metaphysics, and the mechanisation of mathematical reasoning. A particular research focus is on higher-order interactive and automated theorem proving as a backbone for the above activities.
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.)