Manfred Broy (geboren am 10. August 1949) ist ein deutscher Informatiker und emeritierter Professor am Lehrstuhl für Informatik der Technischen Universität München , Garching , Deutschland .

Biographie

Broy erlangte 1980 seinen Doktortitel (Ph.D.) am Lehrstuhl von Friedrich L. Bauer zum Thema Transformation von parallel laufenden Programmen (Transformation parallel ablaufender Programme) .

1983 gründete er die Fakultät für Mathematik und Informatik an der Universität Passau , deren Dekan er bis 1986 war. 1989 wechselte er an die Technische Universität München (TUM) [ 1 ] , wo er 1992 Gründungsdekan der Fakultät für Informatik wurde, die bis dahin ein Institut innerhalb der Fakultät für Mathematik und Informatik war. Seitdem lehrt er an der Technischen Universität München.

Im Jahr 2004 wurde er zum Mitglied der Gesellschaft für Informatik gewählt [ 2 ] und 2007 erhielt er die Konrad-Zuse-Medaille [ 3 ] . Er ist außerdem Herausgeber des International Journal of Software and Informatics . Broy war Direktor der Internationalen Sommerschule Marktoberdorf [ 4 ] .

Er ging am 31. März 2015 in den Ruhestand.

Ausgewählte Bücher

  • Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander (2005). Modellbasiertes Testen reaktiver Systeme: Fortgeschrittene Vorlesungen . Lecture Notes in Computer Science .
  • Broy, Manfred; Denert, Ernst (2002). Software-Pioniere .
  • Broy, Manfred; Grunbauer, Johannes; Hoare, Tony (2007). Zuverlässigkeit und Sicherheit von Softwaresystemen . NATO- Reihe „Sicherheit durch Wissenschaft“: Informations- und Kommunikationssicherheit (NATO-Reihe „Sicherheit durch … D: Informations- und Kommunikationssicherheit“). Band 9.
  • Broy, Manfred; Krüger, Ingolf; Meisinger, Michael (2006). Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004. Lecture Notes in Computer Science . San Diego , Kalifornien, USA.{{cite book}}CS1 Wartung: Standort des fehlenden Herausgebers ( Link )
  • Broy, Manfred; Steinbrüggen, Ralf (2000). Entwurf von Berechnungssystemen . NATO Science Series: Computers & Systems Sciences (NATO ASI Series. Series III, Computer and Systems Sciences) von Deutschland) NATO Advanced Study Institute on Calculational System Design (1998). Marktoberdorf , Deutschland .{{cite book}}CS1 Wartung: Standort des fehlenden Herausgebers ( Link )
  • Broy, Manfred (1989). Konstruktive Methoden in der Informatik: Internationale Sommerschule . NATO ASI. Reihe F, Informatik und Systemwissenschaften.
  • Broy, Manfred (1996). Deduktives Programmdesign . NATO ASI Series: Computer and Systems Sciences.
  • Hoare, Tony ; Broy, Manfred; Steinbrüggen, Ralf (2001). 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 , Germany ).{{cite book}}CS1 Wartung: Standort des fehlenden Herausgebers ( Link )
  • Broy, Manfred; Gruenbauer, Johannes; Harel, David ; Hoare, Tony (2005). Ingenieurtheoretische Grundlagen softwareintensiver Systeme . Tagungsband des NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, … II: Mathematik, Physik und Chemie – via Kindle.
  • Broy, Manfred; Bjørner, Dines ; Pottosin, Igor V. (1993). Formale Methoden in der Programmierung und ihre Anwendungen: Tagungsband der Internationalen Konferenz . Lecture Notes in Computer Science . Academgorodok, Nowosibirsk, Russland.{{cite book}}CS1 Wartung: Standort des fehlenden Herausgebers ( Link )

Referenzen

  1. ^ „Lebenslauf Prof. Dr. Dr. hc Manfred Hans Bertold Broy“ (PDF) . Technische Universität Wien (TU Wien) . 2012. Archiviert vom Original (PDF) am 11. Oktober 2014. Abgerufen am 12. Mai 2013 .
  2. ^ GI-Fellow-Zitat. Archiviert am 3. März 2016 in der Wayback Machine , abgerufen am 9. März 2012.
  3. ^ Winter, Cornelia (16. August 2007), „Manfred Broy aus München erhält Konrad-Zuse-Medaille – Höchste Informatik-Auszeichnung wird in Bremen verliehen“ , Informationsdienst Wissenschaft (auf Deutsch)
  4. ^ Marktoberdorfer Sommerschule zu den theoretischen Grundlagen der Programmiermethodik (1982). Broy, Manfred (Hrsg.). Theoretische Grundlagen der Programmiermethodik: Vorlesungsskript einer internationalen Sommerschule, 1981. NATO Advanced Study Institutes Series. Band 91. Reidel . Abgerufen am 2. September 2015 .