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).
Department of Computer Science, in 1987.

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 October 1993: Research stay at SRC, Digital Equipment
Corporation, Palo Alto, California.

1994: Winner of the Leibniz Prize of the German National Science
Foundation (DFG).

Author of over 160 scientific publications, e.g.:
M. Broy: "Informatik - eine grundlegende Einführung".
Teil I und II. Springer Lehrbuch. Springer Verlag 1992 und 1993.
Editor of "Distributed Computing", "Information and Software
Technology", FACS, J.UCS, 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 für
Künstliche Intelligenz" (DFKI), Europäisches Methoden-Zentrum
EMSC, "Max-Planck-Institut für 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.

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, Germany.

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 für 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.

Main Emphases in Research and Science:

Software and System Development, Software Engineering,
Programming Methods, Property Oriented Techniques,
Distributed Systems, Semantics, Development and Verification
Techniques, Interactive Specification and Verification Tools,
Theory of Rewriting and Unification, Functional Programming,
Specification and Refinement.