Christoph Benzmüller

Christoph Ewald Benzmüller
Christoph Benzmüller in Bamberg (2025)
Born1968 (age 57–58)
Alma materSaarland University
Known forFormal reasoning
Theorem proving
Scientific career
InstitutionsUniversity of Bamberg
FU Berlin
Thesis Equality and Extensionality in Higher-Order Theorem Proving  (1999)
Doctoral advisorJörg H. Siekmann
Michael Kohlhase
Frank Pfenning

Christoph Ewald Benzmüller (born 1968) is a German computer scientist whose research interests include formalisation of rational arguments by using symbolic artificial intelligence. He has been professor at the University of Bamberg since 2022, in charge of the chair for AI Systems Engineering, and at the FU Berlin since 2021.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.