Prof. Dr. Manfred Broy


Software & Systems Engineering
Professor emeritus since April 1, 2015



Contact Details

Visitenkarte in TUMonline

Academic Career and Research Areas

Professor Broy (b. 1949) conducts research on the scientific modeling and development of complex, software-intensive systems. This focus also includes the use of targeted processes, precise specification of requirements, durable and flexible software architectures and modern tools based on mathematical and logical methods. The goal is to support and advance the methods of software and systems engineering, with a focus on quality assurance and long-term system evolution.  
After studying mathematics with a minor in computer science, Professor Broy received a doctorate from the Department of Mathematics and Computer Science of TUM and remained there to complete his lecturer qualification. In 1983, he was appointed professor of computer science at the University of Passau, where he was the founding Dean of the Department of Mathematics and Computer Science. In 1989, he succeeded Professor F.L. Bauer as professor of computer science at TUM. Professor Broy is the founding dean of the TUM Department of Computer Science  (1992) and a member of the European Academy of Science, Leopoldina, Acatech and the Bavarian Academy of Sciences and Humanities. He also holds an honorary doctorate from the University of Passau and is a fellow of the organization Gesellschaft für Informatik. He has over 350 scientific publications to his name.


Broy M: “Multifunctional software systems: structured modeling and specification of functional requirements." Science of Computer Programming. 2010; in press.


Broy M, Krüger I, Meisinger M: “A formal model of services”. ACM Trans. Softw. Eng. Methodol. 2007; 16(1).


Broy M, Stølen K: Specification and development of interactive systems: focus on streams, interfaces, and refinement. New York: Springer, 2001.

Broy M: “Compositional refinement of interactive systems”. Journal of the ACM. 1997; 44(6): 850-891.


Broy M: “A theory for nondeterminism, parallelism, communication and concurrency”. Theoretical Computer Science. 1986; 45: 1-61.