Kurzbiographie

Prof. Dr. 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 unter anderem eng mit der Universität Luxemburg zusammen. Er ist Mitglied zahlreicher wissenschaftlicher Vereinigungen wie der Vereinigung Deutscher Wissenschaftler (VDW) und Sigma Xi (USA) und nationaler Ansprechpartner der Confederation of Laboratories for Artificial Intelligence Research in Europe (CAIRNE).

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: BITS Pilani Dubai (UAE), Freie Universität Berlin (DE), Universität Luxemburg (LU), 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 (DE).

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. Dr. Christoph Benzmüller holds the Chair of AI System Development at the University of Bamberg, is an adjunct professor at the Free University of Berlin and works closely with the University of Luxembourg, among others. He is a member of numerous scientific organisations such as the Association of German Scientists (VDW) and Sigma Xi (USA) and he is the national contact for the Confederation of Laboratories for Artificial Intelligence Research in Europe (CAIRNE).

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: BITS Pilani Dubai (UAE), Free University of Berlin (DE), University of Luxembourg (LU), 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 (DE).

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