Manfred Broy besuchte in den Jahren von 1960 bis 1969 das Holbein-Gymnasium in Augsburg.[1] Nach seinem Studium (Diplom im Jahr 1976 in Mathematik Fachrichtung Informatik) an der Technischen Universität München arbeitete er bis zum Jahr 1983 als wissenschaftlicher Mitarbeiter am Institut für Informatik und am Sonderforschungsbereich „Programmiertechnik“ an der TUM. Er wurde 1980 bei Friedrich Ludwig Bauer über das Thema Transformation parallel ablaufender Programme an der TUM zum Dr. rer. nat. promoviert. Er habilitierte sich 1982 mit dem Thema „A Theory for Nondeterminism, Parallelism, Communication, and Concurrency“.
1983 wurde er zum ordentlichen Universitätsprofessor für Informatik an die Universität Passau berufen und gleichzeitig zum Gründungsdekan der Fakultät für Mathematik und Informatik bestellt. In den Jahren bis 1989 war er Professor für Informatik und hatte den Lehrstuhl für Programmiersprachen an der Fakultät für Mathematik und Informatik inne. Für seine Tätigkeit als Gründungsdekan in Passau wurde ihm 2003 die Ehrendoktorwürde der Universität Passau verliehen.
Im Jahr 1989 wurde er Nachfolger von Friedrich Ludwig Bauer als ordentlicher Professor für Informatik am Institut für Informatik der Technischen Universität München. 1992 wurde er Gründungsdekan der Fakultät Informatik der TU München. Broys Forschungsbereich in München war das Systems- und Software Engineering. Eine seiner Forschungsgruppen befasste sich mit der Anwendung mathematisch basierter Techniken im Software Engineering. Am 31. März 2015 trat er in den Ruhestand.[2]
Er wurde im Frühjahr 2015 zum Gründungspräsidenten des „Zentrum Digitalisierung.Bayern“ berufen.[4]
Veröffentlichungen (Auswahl)
Manfred Broy, Martin Wirsing: Partial Abstract Types. In: Acta Informatica. Nr.18, 1982, ISSN0001-5903, S.47 bis 64.
Manfred Broy: Compositional Refinement of Interactive Systems. In: Journal of the ACM. Band44, Nr.6, November 1997, S.850 bis 891 (online [abgerufen am 21. April 2016]).
Manfred Broy, Ketil Stølen: Partial Abstract Types. In: Monographs in Computer Science. Springer, New York 2001, ISBN 0-387-95073-7 (online [abgerufen am 21. April 2016]).
Manfred Broy: Toward a Mathematical Foundation of Software Engineering Methods. In: IEEE Transactions on Software Engineering. Band27, Nr.1, Januar 2001, ISSN0098-5589, S.42 bis 57.
Manfred Broy et al.: A Formal Model of Services. In: ACM Transactions on Software Engineering and Methodology (TOSEM). Nr.01, 1. Februar 2007, ISSN1049-331X, S.85 bis 115 (online [abgerufen am 25. April 2016]).
Manfred Broy: Multifunctional Software Systems: Structured Modeling and Specification of Functional Requirements. In: Science of Computer Programming. Band75, 2010, ISSN0167-6423, S.1193 bis 1214 (online [PDF; abgerufen am 25. April 2016]).
Manfred Broy: A Logical Basis for Component-Oriented Software and Systems Engineering. In: The Computer Journal. Band53, Nr.10, 2010, ISSN1460-2067, S.1758 bis 1782 (online [PDF; abgerufen am 25. April 2016]).
Eva Geisberger, Manfred Broy: agendaCPS – Integrierte Forschungsagenda Cyber-Physical Systems. In: Deutsche Akademie der Technikwissenschaften (Hrsg.): Acatech-Studie. Springer, Heidelberg 2012, ISBN 978-3-642-29098-5 (online [abgerufen am 24. Mai 2020] Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtechnik, immer leistungsfähigere softwareintensive eingebettete Systeme und integrierte Anwendungen.).
Manfred Broy, Albrecht Schmidt: Challenges in Engineering Cyber-Physical Systems. In: IEEE Computer Society. Band2, Nr.47, Februar 2014, S.70 bis 72.
Manfred Broy: Verifying of Interface Assertions for Infinite State Mealy Machines. In: Journal of Computer and System Sciences. Februar 2014, S.1298 bis 1322.
Manfred Broy: Computability and Realizability for Interactive Computations. In: Information and Computation. Nr.241, April 2015, S.277 bis 301.
