Manfred Broy - Curriculum Vitae#

Career

• 1992 Founder and Dean of the Faculty of Computer Science at the Technische Universität München
• 1989 Full Professor in Computer Sciences (Successor of Prof. F.L. Bauer) at the Institute of Computer Sciences, Technische Universität München
• 1983-1989 Full Professor in Computer Sciences at the Institute of Mathematics and Computer Sciences, Universität Passau
• 1983 Founder and Dean of the Faculty of Mathematics and Computer Sciences, Universität Passau
• 1976-1983 Research-assistant at the Institute of Computer Sciences and in Research Center 49 "Programming techniques" at the Technische Universität München

Education

• 1982 Habilitation from the Technische Universität München, Faculty of Informatics and Mathematics. Topic: "A theory of Nondeterminism, Parallelism, Communication and Concurrency"
• 1980 Doctorate (Ph.D.) in Natural Sciences with an award from the Faculty of Mathematics at the Technische Universität München, Ph. D. Thesis: "Transformation of parallel feed back programs"
• 1976 Diploma in Mathematics with emphasis on Informatics from the Technische Universität München

Honours

• 2007 Konrad-Zuse-Medaille, Association of Computer Sciences (GI)
• 2006 Member of acatech - Council for Technical Sciences
• 2006 Bayerischer State Prize for Education and Culture
• 2006 Max-Planck-Fellow
• 2004 Member of the Association of Computer Sciences (Gesellschaft für Informatik e.V.)
• 2003 Doctor Honorius Causa of the Faculty of Mathematics and Computer Sciences, Universität Passau
• 2003 Member of the German Academy of Natural Scientists/Leopoldina
• 1996 Verdienstkreuz am Bande des Verdienstordens der Bundesrepublik Deutschland
• 1994 Gottfried Wilhelm Leibniz Prize of the German Science Fondation (DFG)
• 1992 Member of European Science Academy

Research

The main field is Software & Systems Engineering and Manfred Broy's research and teaching efforts are centered around core topics of software and systems development. This includes foundations, methods, processes, models, description techniques and tools.

The focus of his research is on development of critical embedded systems, mobility and context-awareness, and development methods for complex industrial-scale software systems. This methods are supported by a number of research tools. Theorem proving techniques explore the foundational aspects of software engineering.