맨프레드 브로이

Manfred Broy
맨프레드 브로이
Manfred Broy 2004 1.jpeg
2004년 맨프레드 브로이.
태어난 (1949-08-10) 1949년 8월 10일 (72)
독일 랜즈버그 암 레흐
시민권독일.
교육1980년 박사 과정
과학 경력
필드컴퓨터 공학
기관파사우 대학교
뮌헨 공과대학교
논문병렬 실행 프로그램의 변환 (1980)
박사학위 자문위원프리드리히 L. 바우어
웹사이트www.professoren.tum.de/en/broy-manfred

만프레드 브로리(Manfred Broy, 1949년 8월 10일생, 랜드버그 암 레흐)는 독일의 컴퓨터 과학자로, 독일 가칭 뮌헨 공과대학 정보학과의 명예교수다.

전기

브로이는 1980년 프리드리히 L. 바우어의 의장에서 병렬로 운영되는 프로그램의 변환(변환 병렬 애블라우펜더 프로그램)을 주제로 철학박사(박사)를 취득했다.

1983년 그는 1986년까지 학장이었던 파사우 대학교에 수학과 컴퓨터학과 교수진을 설립했다.1989년 뮌헨 공과대학(TUM)[1]에 진학하여 1992년 정보학 교수진의 창립 학장이 되었으며, 이때까지는 수학과 정보학 학부 내의 학원이 되었다.그 이후로 그는 뮌헨 공과대학에서 교편을 잡고 있다.

2004년에는 게셀샤프트 퓌르 인포마틱의[2] 동료로 선출되었고, 2007년에는 콘라드 주즈 메달을 수상하였다.[3]그는 또한 국제 소프트웨어 및 정보학 저널의 편집자이기도 하다.브로이는 국제 여름학교의 이사로 재직해 왔다.[4]

그는 2015년 3월 31일에 은퇴했다.

엄선된 도서

  • Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander (2005). Model-Based Testing of Reactive Systems: Advanced Lectures. Lecture Notes in Computer Science.
  • Broy, Manfred; Denert, Ernst (2002). Software Pioneers.
  • Broy, Manfred; Grunbauer, Johannes; Hoare, Tony (2007). Software Systems Reliability and Security. NATO Security through Science Series: Information and Communication Security (Nato Security Through … D: Information and Communication Security). Vol. 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, California, United States.
  • Broy, Manfred; Steinbrüggen, Ralf (2000). 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, Germany.
  • Broy, Manfred (1989). Constructive Methods in Computing Science: International Summer School. NATO ASI. Series F, Computer and systems sciences).
  • Broy, Manfred (1996). Deductive Program Design. 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).
  • Broy, Manfred; Gruenbauer, Johannes; Harel, David; Hoare, Tony (2005). 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 – via Kindle.
  • Broy, Manfred; Bjørner, Dines; Pottosin, Igor V. (1993). Formal Methods in Programming and their Applications: International Conference Proceedings. Lecture Notes in Computer Science. Academgorodok, Novosibirsk, Russia.

참조

  1. ^ "CV Prof. Dr. Dr. h.c. Manfred Hans Bertold Broy" (PDF). Vienna University of Technology (TU Wien) (in German). 2012. Archived from the original (PDF) on 11 October 2014. Retrieved 12 May 2013.
  2. ^ GI-Fellow 인용 웨이백 머신에 2016년 3월 3일 보관, 2012년 3월 9일 회수.
  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 (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. Vol. 91. Reidel. Retrieved 2 September 2015.

외부 링크