Martin Wirsing

Martin Hermann Friedrich Wirsing
Wirsing (2025)
Born (1948-12-24) December 24, 1948
Alma materLudwig Maximilian University of Munich
Université Paris 7
Scientific career
FieldsComputer science
InstitutionsLudwig Maximilian University of Munich
TU Munich
University of Passau
Thesis Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen  (1976)
Doctoral advisorKurt Schütte


Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor emeritus and former vice president of Ludwig-Maximilians-Universität München, Germany.

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.