Manfred Broy

Manfred Broy (born 10 August 1949 at Landsberg am Lech) is a German computer scientist, and an emeritus professor in the Fakultät für Informatik at the Technische Universität München, Garching, Germany.

Manfred Broy in 2004.

Biography

Broy gained his PhD in 1980 at the chair of Friedrich L. Bauer on the subject of transformation of programs running in parallel (Transformation parallel ablaufender Programme).

In 1983 he founded the faculty of mathematics and computer science at the University of Passau, whose dean he was until 1986. In 1989 he went to the Technical University Munich (TUM),[1] where in 1992 he became the founding dean of the informatics faculty, which until then was an institute within the faculty of mathematics and informatics. Since then he has been teaching at the Technische Universität München.

In 2004 he was elected as a fellow of the Gesellschaft für Informatik[2] and in 2007 he won the Konrad Zuse Medal.[3] He is also editor of the International Journal of Software and Informatics. Broy has been a director of the International Summer School Marktoberdorf.[4]

He retired on March 31, 2015.

Selected books
  • Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner (2005)
  • Software Pioneers by Manfred Broy and Ernst Denert (2002)
  • Software Systems Reliability and Security — Volume 9, NATO Security through Science Series: Information and Communication Security (Nato Security Through … D: Information and Communication Security) by Manfred Broy, Johannes Grunbauer, and Tony Hoare (2007)
  • Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10–12, 2004, Revised … Papers (Lecture Notes in Computer Science) by Manfred Broy, Ingolf Krüger, and Michael Meisinger (2006)
  • Calculational System Design (NATO Science Series: Computers & Systems Sciences) (NATO ASI Series Series III, Computer and Systems Sciences) by Germany) NATO Advanced Study Institute on Calculational System Design (1998: Marktoberdorf), Manfred Broy, and R. Steinbruggen (2000)
  • Constructive Methods in Computing Science: International Summer School (NATO ASI series. Series F, Computer and systems sciences) by Manfred Broy (1989)
  • Deductive Program Design (NATO ASI Series / Computer and Systems Sciences) by Manfred Broy (1996)
  • Engineering Theories of Software Construction (NATO Science Series. Series III, Computer and Systems Sciences, 180) by Germany) NATO Advanced Study Institute on Engineering Theories of Software Construction (2000: Marktoberdorf), Tony Hoare, Manfred Broy, and Ralf Steinbruggen (2001)
  • Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, … II: Mathematics, Physics and Chemistry) by Manfred Broy, Johannes Gruenbauer, David Harel, and Tony Hoare (2005) — Kindle Book
  • Formal Methods in Programming and their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993: Proceedings (Lecture Notes in Computer Science) by Manfred Broy, Dines Bjørner, and Igor V. Pottosin (1993)

References
  1. "CV Prof. Dr. Dr. h.c. Manfred Hans Bertold Broy" (PDF), tuwien.ac.at (in German), TU Wien, 2012, archived from the original (PDF) on 2014-10-11, retrieved 2013-05-12
  2. GI-Fellow citation Archived 2016-03-03 at the Wayback Machine, retrieved 2012-03-09.
  3. Winter, Cornelia (August 16, 2007), "Manfred Broy aus München erhält Konrad-Zuse-Medaille - Höchste Informatik-Auszeichnung wird in Bremen verliehen", Informationsdienst Wissenschaft (in German).
  4. Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1982). Broy, Manfred (ed.). Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, 1981. NATO Advanced Study Institutes Series. 91. Reidel. Retrieved 2 September 2015.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.