Prof. Dr. Manfred Broy
Software & Systems Engineering
Professor emeritus since April 1, 2015
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.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