Manfred Broy

from Wikipedia, the free encyclopedia
Manfred Broy (2004)

Manfred Broy (born August 10, 1949 in Landsberg am Lech ) is a German computer scientist and professor emeritus at the Faculty of Computer Science at the Technical University of Munich (TUM).

Life

Manfred Broy attended the Holbein-Gymnasium in Augsburg from 1960 to 1969. After graduating from the Technical University of Munich (diploma in mathematics in 1976 with a degree in computer science), he worked until 1983 as a research assistant at the Institute for Computer Science and at the Collaborative Research Center “Programming Technology” at TUM. It was in 1980 at Friedrich Ludwig Bauer on the subject running in parallel transformation programs at TUM for Dr. rer. nat. PhD. He completed his habilitation in 1982 with the topic "A Theory for Nondeterminism, Parallelism, Communication, and Concurrency" .

In 1983 he was appointed full professor for computer science at the University of Passau and at the same time appointed the founding dean of the faculty for mathematics and computer science. In the years up to 1989 he was a professor for computer science and held the chair for programming languages at the faculty for mathematics and computer science. For his work as the founding dean in Passau, he was awarded an honorary doctorate from the University of Passau in 2003 .

In 1989 he succeeded Friedrich Ludwig Bauer as a full professor of computer science at the Institute for Computer Science at the Technical University of Munich . In 1992 he became the founding dean of the computer science faculty at the Technical University of Munich. Broy's research area in Munich was systems and software engineering . One of his research groups dealt with the application of mathematically based techniques in software engineering. He retired on March 31, 2015.

Manfred Broy is co-founder and member of the Board of Directors of the Center for Digital Technology and Management (CDTM). The CDTM is a joint scientific institution of the Technical University of Munich and the LMU Munich and a member of the Bavarian Elite Network .

In spring 2015 he was appointed founding president of the “Zentrum Digitalisierung.Bayern” .

Publications (selection)

  • Manfred Broy, Martin Wirsing : Partial Abstract Types . In: Acta Informatica . No. 18 , 1982, ISSN  0001-5903 , pp. 47 to 64 .
  • Manfred Broy: Compositional Refinement of Interactive Systems . In: Journal of the ACM . tape 44 , no. 6 , November 1997, pp. 850 to 891 ( online [accessed April 21, 2016]).
  • Manfred Broy, Ketil Stølen: Partial Abstract Types . In: Monographs in Computer Science . Springer, New York 2001, ISBN 0-387-95073-7, ( online [accessed April 21, 2016]).
  • Manfred Broy: Toward a Mathematical Foundation of Software Engineering Methods . In: IEEE Transactions on Software Engineering . tape 27 , no. 1 , January 2001, ISSN  0098-5589 , p. 42 to 57 .
  • Manfred Broy et al .: A Formal Model of Services . In: ACM Transactions on Software Engineering and Methodology (TOSEM) . No. 01 , February 1, 2007, ISSN  1049-331X , p. 85 to 115 ( online [accessed April 25, 2016]).
  • Manfred Broy: Multifunctional Software Systems: Structured Modeling and Specification of Functional Requirements . In: Science of Computer Programming . tape 75 , 2010, ISSN  0167-6423 , p. 1193 to 1214 ( online [PDF; accessed April 25, 2016]).
  • Manfred Broy: A Logical Basis for Component-Oriented Software and Systems Engineering . In: The Computer Journal . tape 53 , no. 10 , 2010, ISSN  1460-2067 , p. 1758 to 1782 ( online [PDF; accessed April 25, 2016]).
  • Eva Geisberger, Manfred Broy: agendaCPS - Integrated Research Agenda Cyber-Physical Systems . In: Deutsche Akademie der Technikwissenschaften (Ed.): Acatech study . Springer, Heidelberg 2012, ISBN 978-3-642-29098-5 ( online [accessed on May 24, 2020] The rapid progress in information technology, in combination with microsystem technology, enables increasingly powerful software-intensive embedded systems and integrated applications.).
  • Manfred Broy, Albrecht Schmidt: Challenges in Engineering Cyber-Physical Systems . In: IEEE Computer Society . tape 2 , no. 47 , February 2014, p. 70 to 72 .
  • Manfred Broy: Verifying of Interface Assertions for Infinite State Mealy Machines . In: Journal of Computer and System Sciences . February 2014, p. 1298 to 1322 .
  • Manfred Broy: Computability and Realizability for Interactive Computations . In: Information and Computation . No. 241 , April 2015, p. 277 to 301 .

honors and awards

Web links

Individual evidence

  1. ^ Page of the Holbein-Gymnasium ( Memento from March 31, 2016 in the Internet Archive )
  2. ^ Professors' page of the Technical University of Munich. Accessed April 11, 2016
  3. ^ CDTM: Board of Directors. Retrieved March 25, 2015 .
  4. ↑ Press release of the Technical University of Munich. Accessed April 11, 2016
  5. ↑ Directory of members: Manfred Broy. Academia Europaea, accessed June 20, 2017 .
  6. ↑ a b c d e f g Member entry by Prof. Dr. Manfred Broy (with picture and curriculum vitae) at the German Academy of Sciences Leopoldina , accessed on July 3, 2016.
  7. ↑ a b c d e Profile at TUM, accessed on April 26, 2016
  8. ↑ Press release of the Bavarian state government about the award, accessed December 8, 2012 ( Memento of December 9, 2015 in the Internet Archive )
personal data
SURNAME Broy, Manfred
BRIEF DESCRIPTION German computer scientist
DATE OF BIRTH August 10, 1949
PLACE OF BIRTH Landsberg am Lech