International scientific panel

Martin Wirsing

Member of the International Scientific council of Computer science

Martin Wirsing is professor for Informatics and Vice President for Teaching and Studies at Ludwig-Maximilians-Universität München.

In recognition of his outstanding academic contributions to computer science and the reach of his influence in shaping the discipline internationally he received the title Honoris Causa of the University of London in 2016.

Martin Wirsing has served at the highest levels of academia in Germany. His first professorial appointment, in 1985, was at the University of Passau, where he served as dean and vice-dean of the newly founded Faculty for Mathematics and Informatics. In 1992 he took over a chair at Ludwig-Maximilians-Universität München where he created one of the best research groups in the world and established Informatics as a Diploma course of studies. Between 1999 and 2010, he was Dean of the Faculty for Mathematics and Informatics; member of the senate; director of the Institute for Informatics and vice-chair of the senate.

In 2007-2010 Martin Wirsing was serving as chairman of the Scientific Board of INRIA (France); currently, he is a member of the scientific committees of the University of Bordeaux, IMDEA Software Madrid, and the Université de Lorraine. He is member of the editorial board of several scientific journals and book series including Theoretical Computer Science, Electronic Proceedings in Theoretical Computer Science, and Transaction on Foundations for Mastering Change.

Martin Wirsing is recognized as one of the pioneers who have shaped theoretical computer science as we know it today, especially in the area of logical and algebraic specification. He is well known for his contributions to software development using formal methods, including programme development methodologies and, more recently, the engineering of adaptive and autonomic systems. He has co-authored or edited over 20 books and has published around 250 scientific papers.