- Born in Landsberg/Lech in Bavaria, Germany. Married, three children.
- Study of Mathematics and Computer Science at the Technical University of Munich (Germany): November 1971 - April 1976.
- Research and Teaching Assistant at the Technical University of Munich, Institute of Informatics and the "Sonderforschungsbereich 49" - "Programmier-Technik": May 1976 - March 1983.
- Ph.D. with the subject: "Transformation parallel ablaufender Programme" at the Faculty of Mathematics at the Technical University of Munich in February 1980.
- Visiting Scientist at the University of Paris-Sud, Faculty of Computer Science, in 1982.
- Habilitation in Informatik with the subject: "A Theory for Nondeterminism, Parallelism, Communication and Concurrency" at the Faculty for Mathematics and Computer Science at the Technical University of Munich in December 1982.
- Full Professor for Computer Science and First Dean of the Faculty of Mathematics and Computer Science at the University of Passau, Germany: April 1983 - October 1989.
- Visiting Researcher at the University of Texas at Austin, Department of Computer Science, in 1987.
- Since October 1989: Full Professor for Computer Science at the Technical University of Munich (former chair of Prof. F.L. Bauer).
- August - December 1991: Research stay at SRC, Digital Equipment Corporation, Palo Alto, California.
- November 1992 - November 1994: First Dean of the Faculty of Computer Science at the Technical University of Munich.
- Since 1993: Member of the European Academy of Sciences. April and Oct.
- 1993: Research stay at SRC, Digital Equipment Corporation, Palo Alto, California.
- 1994: Winner of the Leibniz Prize of the German National Science Foundation (DFG).
- Organizer of the International Summer School for young computer scientists and mathematicians, which is partially sponsored by the NATO Science Committee and is held every year at Marktoberdorf.
Project Manager of the following Research and Development Projects:
- KORSO - Deduction Oriented Specification Development Project part of the BMFT - compound project KORSO, "Korrekte Software".
- FOCUS - A Methodology for the Development of Distributed Systems Project part of the SFB 342, "Methoden und Werkzeuge fuer die Nutzung paralleler Rechnerarchitekturen".
- Formal Deduction of the Software Development Process.
- COMPASS - a Comprehensive Algebraic Approach for System Specification and Development - Cooperation in the same named ESPRIT-team 3264.
- Types for Proofs and Programs Part of the ESPRIT BRA 6453, TYPES.
- Formal Methods in Software and System Development Cooperation with ZFE / Siemens AG.
- Software and Systems Engineering in cooperation with EMSC and SNI.
- Interactive tools for program design.
- NADA - New Hardware Design Methods Esprit Working Group 8533.
- SYSLAB: An Integration of Formal and Pragmatic Software and System Engineering Techniques.
- Editor of "Distributed Computing"
- "Information and Software Technology"
- Editor-in-Chief of ACTA INFORMATICA
- Member of the IFIP Working Group 2.2
- Participation in the seminars of IPIP WG 2.2 at Rio and Bombay
- Member of the GI, FB2 and the GI Working Group "Rechtschutz von Software"
- Member of Formal Methods, Europe
- Member of the Executive Board of FAST
- Scientific Advisory Board: "Deutsches Forschungszentrum fuer Kuenstliche Intelligenz" (DFKI), Europaeisches Methoden-Zentrum EMSC, "Max-Planck-Institut fuer Informatik" (MPI)
- Member of the Advisory Board of the European Assocoation for Theoretical Computer Science (EATCS)
- Scientific Advisor for SIEMENS/SNI
- Member of program committee of a number of international conferences
Main Research Interests:
- software and system development
- software engineering
- programming methods
- property oriented techniques
- distributed systems
- development and verification techniques
- interactive specification and verification tools
- theory of rewriting and unification
- functional programming
- specification and refinement