Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.
[1] Supervised by Kurt Schütte, he received his PhD from LMU in 1976, with a thesis on a topic in mathematical logic (Das Entscheidungsproblem der Prädikatenlogik mit Identität und Funktionszeichen).
[3][4] Several years he served as Dean, Head of Department and Vice President of the Senat of LMU.
[5] In July 2016, he was awarded a Degree of Doctor of Science (Honoris Causa) by Royal Holloway, University of London.
[6][7] His research interests comprise software engineering and its formal foundations, autonomous self-aware systems, and digitisation of universities.