Manfred Broy
{{Short description|German computer scientist}}
{{Use dmy dates|date=September 2020}}
{{Infobox scientist
| name = Manfred Broy
| native_name =
| native_name_lang =
| image = Manfred Broy 2004 1.jpeg
| alt =
| caption = Manfred Broy in 2004
| birth_name =
| birth_date = {{birth date and age|1949|08|10|df=y}}
| birth_place = Landsberg am Lech, Germany
| death_date =
| death_place =
| death_cause =
| resting_place =
| resting_place_coordinates =
| home_town =
| other_names =
| pronounce =
| citizenship = Germany
| fields = Computer science
| workplaces = University of Passau
Technical University of Munich
| patrons =
| education = Ph.D., 1980
| thesis_title = Transformation of parallel running programs
| thesis_url = https://mediatum.ub.tum.de/625561
| thesis_year = 1980
| doctoral_advisor = Friedrich L. Bauer
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for =
| influences =
| influenced =
| awards =
| spouse =
| children =
| signature =
| signature_alt =
| website = {{URL|www.professoren.tum.de/en/broy-manfred}}
| footnotes =
}}
Manfred Broy (born 10 August 1949) is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany.
Biography
Broy gained his Doctor of Philosophy (Ph.D.) 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, which dean he was until 1986. In 1989, he went to the Technical University of Munich (TUM),{{cite web |url=http://www.tuwien.ac.at/fileadmin/t/tuwien/docs/leitung/unirat/Broy_Manfred_CV_2012.pdf |title=CV Prof. Dr. Dr. h.c. Manfred Hans Bertold Broy |language=German |access-date=12 May 2013 |website=Vienna University of Technology (TU Wien) |year=2012 |url-status=dead |archive-url=https://web.archive.org/web/20141011235034/http://www.tuwien.ac.at/fileadmin/t/tuwien/docs/leitung/unirat/Broy_Manfred_CV_2012.pdf |archive-date=11 October 2014}} 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 Technical University of Munich.
In 2004, he was elected as a fellow of the Gesellschaft für Informatik[http://www.gi.de/fileadmin/redaktion/Wettbewerbe/Fellowship/broy-fellow2004.pdf GI-Fellow citation] {{Webarchive|url=https://web.archive.org/web/20160303213635/http://www.gi.de/fileadmin/redaktion/Wettbewerbe/Fellowship/broy-fellow2004.pdf |date=3 March 2016}}, retrieved 9 March 2012. and in 2007, he won the Konrad Zuse Medal.{{citation |url=http://www.idw-online.de/pages/de/news221946|journal=Informationsdienst Wissenschaft |title=Manfred Broy aus München erhält Konrad-Zuse-Medaille – Höchste Informatik-Auszeichnung wird in Bremen verliehen |last=Winter |first=Cornelia |date=16 August 2007 |language=German}} He is also editor of the International Journal of Software and Informatics. Broy has been a director of the International Summer School Marktoberdorf.{{cite book |title=Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, 1981 |volume=91 |series=NATO Advanced Study Institutes Series |url=https://books.google.com/books?id=dXECMwAACAAJ |access-date=2 September 2015 |author=Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology |editor-first=Manfred |editor-last=Broy |publisher=Reidel |year=1982}}
He retired on 31 March 2015.
Selected books
- {{cite book |last1=Broy |first1=Manfred |last2=Jonsson |first2=Bengt |last3=Katoen |first3=Joost-Pieter |last4=Leucker |first4=Martin |last5=Pretschner |first5=Alexander |date=2005 |title=Model-Based Testing of Reactive Systems: Advanced Lectures |series=Lecture Notes in Computer Science}}
- {{cite book |last1=Broy |first1=Manfred |last2=Denert |first2=Ernst |date=2002 |title=Software Pioneers}}
- {{cite book |last1=Broy |first1=Manfred |last2=Grunbauer |first2=Johannes |last3=Hoare |first3=Tony |author3-link=Tony Hoare |date=2007 |title=Software Systems Reliability and Security |volume=9 |series=NATO Security through Science Series: Information and Communication Security (Nato Security Through … D: Information and Communication Security)}}
- {{cite book |last1=Broy |first1=Manfred |last2=Krüger |first2=Ingolf |last3=Meisinger |first3=Michael |date=2006 |title=Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004 |place=San Diego, California, United States |series=Lecture Notes in Computer Science}}
- {{cite book |last1=Broy |first1=Manfred |last2=Steinbrüggen |first2=Ralf |date=2000 |title=Calculational System Design |series=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) |place=Marktoberdorf, Germany}}
- {{cite book |last=Broy |first=Manfred |date=1989 |title=Constructive Methods in Computing Science: International Summer School |series=NATO ASI. Series F, Computer and systems sciences)}}
- {{cite book |last=Broy |first=Manfred |date=1996 |title=Deductive Program Design |series=NATO ASI Series: Computer and Systems Sciences}}
- {{cite book |last1=Hoare |first1=Tony |author1-link=Tony Hoare |last2=Broy |first2=Manfred |last3=Steinbrüggen |first3=Ralf |date=2001 |title=Engineering Theories of Software Construction |series=NATO Science Series. Series III, Computer and Systems Sciences, 180) by Germany) NATO Advanced Study Institute on Engineering Theories of Software Construction (2000) |place=Marktoberdorf, Germany)}}
- {{cite book |last1=Broy |first1=Manfred |last2=Gruenbauer |first2=Johannes |last3=Harel |first3=David |author3-link=David Harel |last4=Hoare |first4=Tony |author4-link=Tony Hoare |date=2005 |title=Engineering Theories of Software Intensive Systems |series=Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, … II: Mathematics, Physics and Chemistry |via=Kindle}}
- {{cite book |last1=Broy |first1=Manfred |last2=Bjørner |first2=Dines |author2-link=Dines Bjørner |last3=Pottosin |first3=Igor V. |date=1993 |title=Formal Methods in Programming and their Applications: International Conference Proceedings |place=Academgorodok, Novosibirsk, Russia |series=Lecture Notes in Computer Science}}
References
{{Reflist}}
External links
- {{Official website|www.professoren.tum.de/en/broy-manfred}}
- {{DBLP|name=Manfred Broy}}
{{Authority control}}
{{DEFAULTSORT:Broy, Manfred}}
Category:People from Landsberg am Lech
Category:Technical University of Munich alumni
Category:Academic staff of the Technical University of Munich
Category:German computer scientists
Category:Formal methods people