Prof. Dr. Manfred Broy

Professorship

Software & Systems Engineering
Professor emeritus since April 1, 2015

Department

Informatics

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.

Awards

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

Abstract

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

Abstract

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.

Abstract

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

Abstract