imported>ⵓ: ⇄; •4 externe Links geändert• 🌐︎

2026-03-29T11:27:42Z

⇄; •4 externe Links geändert• 🌐︎

Neue Seite

[[Datei:Manfred Broy 2004 1.jpeg|mini|Manfred Broy (2004)]]

'''Manfred Broy''' (* [[10. August]] [[1949]] in [[Landsberg am Lech]]) ist ein deutscher [[Informatiker]] und [[Emeritierung|emeritierter]] Professor an der [[Fakultät für Informatik der Technischen Universität München]] (TUM).

== Leben ==
Manfred Broy besuchte in den Jahren von 1960 bis 1969 das Holbein-Gymnasium in Augsburg.<ref>{{Webarchiv | url=http://www.holbein-gymnasium.de/broy.htm | wayback=20160331185910 | text=Seite des Holbein-Gymnasiums}}</ref> 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 [[Habilitation|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 [[Programmiersprache]]n an der Fakultät für Mathematik und Informatik inne. Für seine Tätigkeit als Gründungsdekan in Passau wurde ihm 2003 die [[Ehrendoktor]]wü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 [[TU München|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 Engineering|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.<ref>{{Webarchiv | url=http://www.professoren.tum.de/de/broy-manfred/ | archive-is=20160411191322 | text=Professoren-Seite der Technischen Universität München}} Abgerufen am 11. April 2016.</ref>

Manfred Broy ist Mitgründer und Mitglied des Board of Directors des [[Center for Digital Technology and Management]] (CDTM).<ref>{{Internetquelle |url=https://www.cdtm.de/people/board-of-directors/ |zugriff=2015-03-25 |titel=Board of Directors |autor=CDTM}}</ref> Das CDTM ist eine gemeinsame wissenschaftliche Einrichtung von TU München und LMU München und Mitglied des [[Elitenetzwerk Bayern|Elitenetzwerks Bayern]].

Er wurde im Frühjahr 2015 zum Gründungspräsidenten des ''„Zentrum Digitalisierung.Bayern“'' berufen.<ref>[https://www.tum.de/die-tum/aktuelles/pressemitteilungen/kurz/article/32279/ Pressemitteilung der Technischen Universität München] Abgerufen am 11. April 2016.</ref>

== Veröffentlichungen (Auswahl) ==

* {{Literatur |Autor=Manfred Broy, [[Martin Wirsing (Informatiker)|Martin Wirsing]] |Titel=Partial Abstract Types |Sammelwerk=Acta Informatica |Nummer=18 |Datum=1982 |ISSN=0001-5903 |Seiten=47 bis 64}}
* {{Literatur |Autor=Manfred Broy |Titel=Compositional Refinement of Interactive Systems |Sammelwerk=Journal of the ACM |Band=44 |Nummer=6 |Datum=1997-11 |Seiten=850 bis 891 |Online=[https://dl.acm.org/doi/10.1145/268999.269004 online] |Abruf=2016-04-21}}
* {{Literatur |Autor=Manfred Broy, Ketil Stølen |Titel=Partial Abstract Types |Sammelwerk=Monographs in Computer Science |Verlag=Springer |Ort=New York |Datum=2001 |ISBN=0-387-95073-7 |Online=[http://www.leibniz-publik.de/de/fs3/object/display/bsb00057176_00001.html?sort=sortTitle+asc&letter=&context=&awardee_str={Broy%2C+Manfred}&mode=awardee_str online] |Abruf=2016-04-21}}
* {{Literatur |Autor=Manfred Broy |Titel=Toward a Mathematical Foundation of Software Engineering Methods |Sammelwerk=IEEE Transactions on Software Engineering |Band=27 |Nummer=1 |Datum=2001-01 |ISSN=0098-5589 |Seiten=42 bis 57}}
* {{Literatur |Autor=Manfred Broy et al. |Titel=A Formal Model of Services |Sammelwerk=ACM Transactions on Software Engineering and Methodology (TOSEM) |Nummer=01 |Datum=2007-02-01 |ISSN=1049-331X |Seiten=85 bis 115 |Online=[https://www.leibniz-publik.de/de/fs1/object/display/bsb00069956_00002.html online] |Abruf=2016-04-25}}
* {{Literatur |Autor=Manfred Broy |Titel=Multifunctional Software Systems: Structured Modeling and Specification of Functional Requirements |Sammelwerk=Science of Computer Programming |Band=75 |Datum=2010 |ISSN=0167-6423 |Seiten=1193 bis 1214 |Online=[http://www.sciencedirect.com/science/article/pii/S016764231000119X/pdf?md5=2682fb2fabdf0010e239bc3b5b2472bf&pid=1-s2.0-S016764231000119X-main.pdf online] |Abruf=2016-04-25}}
* {{Literatur |Autor=Manfred Broy |Titel=A Logical Basis for Component-Oriented Software and Systems Engineering |Sammelwerk=The Computer Journal |Band=53 |Nummer=10 |Datum=2010 |ISSN=1460-2067 |Seiten=1758 bis 1782 |Online=[https://pdfs.semanticscholar.org/a8e4/f802e984efde9dcd61f309dfbd8e30f79508.pdf online] |Abruf=2016-04-25}}
* {{Literatur |Autor=Eva Geisberger, Manfred Broy |Hrsg=Deutsche Akademie der Technikwissenschaften |Titel=agendaCPS – Integrierte Forschungsagenda Cyber-Physical Systems |Sammelwerk=Acatech-Studie |Verlag=Springer |Ort=Heidelberg |Datum=2012 |ISBN=978-3-642-29098-5 |Kommentar=Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtechnik, immer leistungsfähigere softwareintensive eingebettete Systeme und integrierte Anwendungen. |Online=[https://www.acatech.de/publikation/agendacps-integrierte-forschungsagenda-cyber-physical-systems/ online] |Abruf=2020-05-24}}
* {{Literatur |Autor=Manfred Broy, Albrecht Schmidt |Titel=Challenges in Engineering Cyber-Physical Systems |Sammelwerk=IEEE Computer Society |Band=2 |Nummer=47 |Datum=2014-02 |Seiten=70 bis 72}}
* {{Literatur |Autor=Manfred Broy |Titel=Verifying of Interface Assertions for Infinite State Mealy Machines |Sammelwerk=Journal of Computer and System Sciences |Datum=2014-02 |Seiten=1298 bis 1322}}
* {{Literatur |Autor=Manfred Broy |Titel=Computability and Realizability for Interactive Computations |Sammelwerk=Information and Computation |Nummer=241 |Datum=2015-04 |Seiten=277 bis 301}}

== Ehrungen und Auszeichnungen ==

* 1991: Ordentliches Mitglied der [[Academia Europaea]]<ref>{{Internetquelle| url=https://www.ae-info.org/ae/Member/Broy_Manfred
| titel=Mitgliederverzeichnis: Manfred Broy| hrsg=Academia Europaea| zugriff=2017-06-20| sprache=englisch}}</ref>
* 1992: Mitglied der [[Europäische Akademie der Wissenschaften und Künste|Europäischen Akademie der Wissenschaften]]<ref name="Leo" />
* 1994: [[Gottfried-Wilhelm-Leibniz-Preis]]<ref name="TUMBroy" />
* 1996: [[Verdienstorden der Bundesrepublik Deutschland|Bundesverdienstkreuz am Bande]]<ref name="TUMBroy" />
* 2003: Mitglied der [[Leopoldina]].<ref name="Leo">{{Leopoldina|948|IDName=manfred-broy|Name=Prof. Dr. Manfred Broy|Kommentar=mit Bild und Lebenslauf|Datum=9. Mai 2022}}.</ref>
* 2003: Ehrendoktor der Universität Passau<ref name="Leo" />
* 2004: Fellow der [[Gesellschaft für Informatik]]<ref name="Leo" />
* 2006: Max-Planck-Fellow am [[Max-Planck-Institut für Softwaresysteme]]<ref name="TUMBroy" /> in Kaiserslautern
* 2006 Mitglied der [[Acatech|Deutschen Akademie der Technikwissenschaften (acatech)]]<ref name="Leo" />
* 2006: [[Bayerischer Staatspreis für Unterricht und Kultus]]<ref name="TUMBroy" />
* 2007: [[Konrad-Zuse-Medaille für Verdienste um die Informatik]]<ref name="TUMBroy">[http://www.professoren.tum.de/en/broy-manfred/ Profil bei der TUM, abgerufen am 26. April 2016].</ref>
* 2012: [[Bayerischer Maximiliansorden für Wissenschaft und Kunst]]<ref>{{Webarchiv | url=http://www.bayern.de/seehofer-zeichnet-zehn-verdiente-persoenlichkeiten-mit-dem-bayerischen-maximiliansorden-fuer-wissenschaft-und-kunst-aus/ | wayback=20151209073256 | text=Pressemitteilung der bayerischen Staatsregierung über die Verleihung, abgerufen am 8. Dezember 2012}}.</ref>
* 2014: Mitglied der [[Bayerische Akademie der Wissenschaften|Bayerischen Akademie der Wissenschaften]]<ref name="Leo" />
* 2015: Emeritus of Excellence der Technischen Universität München<ref name="Leo" />

== Weblinks ==
* {{DNB-Portal|109602137}}
* [http://www.professoren.tum.de/broy-manfred/ Seite von Manfred Broy an der TU München]
* [http://www.genealogy.ams.org/id.php?id=22779 Akademische Nachfahren] im [[Mathematics Genealogy Project]]

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=109602137|LCCN=n/79/60851|VIAF=91721734}}

{{SORTIERUNG:Broy, Manfred}}
[[Kategorie:Informatiker]]
[[Kategorie:Hochschullehrer (Technische Universität München)]]
[[Kategorie:Hochschullehrer (Passau)]]
[[Kategorie:Träger des Bundesverdienstkreuzes am Bande]]
[[Kategorie:Träger des Bayerischen Maximiliansordens für Wissenschaft und Kunst]]
[[Kategorie:Leibnizpreisträger]]
[[Kategorie:Mitglied der Deutschen Akademie der Technikwissenschaften (acatech)]]
[[Kategorie:Mitglied der Leopoldina (21. Jahrhundert)]]
[[Kategorie:Mitglied der Academia Europaea]]
[[Kategorie:Ehrendoktor der Universität Passau]]
[[Kategorie:Deutscher]]
[[Kategorie:Geboren 1949]]
[[Kategorie:Mann]]
[[Kategorie:Absolvent der Technischen Universität München]]

{{Personendaten
|NAME=Broy, Manfred
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=deutscher Informatiker
|GEBURTSDATUM=10. August 1949
|GEBURTSORT=[[Landsberg am Lech]]
|STERBEDATUM=
|STERBEORT=
}}

Manfred Broy - Versionsgeschichte

imported>ⵓ: ⇄; •4 externe Links geändert• 🌐︎