Prof. Dr. Christoph Benzmüller

E-Mail: christoph.benzmueller(at)uni-bamberg.de

Anschrift: An der Weberei 5, 96047 Bamberg

Raum: WE_5/05.090

Tel.: +49 (0)951/863-2942

Sprechzeiten: nach Vereinbarung

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’s Forschungsinteressen liegen in der Schnittstelle von KI/Informatik, Philosophie, Mathematik und Sprache. Seine Forschungsarbeiten zeigen, dass rationale Argumente durch den Einsatz moderner, symbolischer KI-Technologie inzwischen sehr gut in Computern mechanisiert und analysiert werden k?nnen. Benzmüller hat mit seinem Team eigene automatische Theorembeweiser (für klassische und nichtklassische Logiken h?herer Stufe) entwickelt und wendet diese in den genannten Bereichen an. Mediale Aufmerksamkeit erlangten vor allem Benzmüller's Studien zu G?del’s ontologischem Argument für die Existenz Gottes im Computer. Das Anwendungsspektrum seiner Arbeiten ist weitreichend und betrifft unter anderem die Mechanisierung von ethisch-rechtlichem Schlie?en im Computer, z.B. zur intendierten Kontrolle von autonomen KI-Systemen.

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.

Als Gastprofessor/Visiting Scholar hat Benzmüller 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?sentierende Objekte'' geht auf den KI-Pionier Wolfgang Bibel zurück.) 

(Weitere Webseiten: Private-Webseite mit V?llst?ndiger Publikationsliste)