マンフレッド・ブロイ

マンフレッド・ブロイ
2004年のマンフレッド・ブロイ
生まれる（1949年8月10日）1949年8月10日
ランツベルク・アム・レヒ、ドイツ
市民権ドイツ
教育1980年博士号取得
科学者としてのキャリア
フィールドコンピュータサイエンス
機関パッサウ大学ミュンヘン工科大学
論文並列実行プログラムの変換 （1980）
博士課程の指導教員フリードリヒ・L・バウアー
Webサイトwww .professoren .tum .de /en /broy-manfred

マンフレート・ブロイ（1949年8月10日生まれ）は、ドイツのコンピュータ科学者であり、ドイツ、ガルヒングにあるミュンヘン工科大学の情報学部の名誉教授である。

バイオグラフィー

Broy は、 1980 年にFriedrich L. Bauer教授のもとで、並列実行プログラムの変換(並列アブラウフェンダー プログラム変換)というテーマで哲学博士号(Ph.D.) を取得しました。

1983年、パッサウ大学に数学・コンピュータサイエンス学部を設立し、1986年まで学部長を務めた。1989年にはミュンヘン工科大学（TUM）[ 1 ]に移り、 1992年には情報学部の初代学部長に就任した。同学部は当時、数学・情報学部内の研究所であった。それ以来、ミュンヘン工科大学で教鞭を執っている。

2004年には情報科学協会フェローに選出され[ 2 ]、2007年にはコンラート・ツーゼ・メダルを受賞した[ 3 ]。また、 International Journal of Software and Informaticsの編集者でもある。ブロイは、マルクトオーバードルフ国際サマースクールのディレクターを務めた[ 4 ]。

彼は2015年3月31日に引退した。

選書

  • Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander (2005). 『リアクティブシステムのモデルベーステスト：上級講義』 . 『コンピュータサイエンス講義ノート』 .
  • ブロイ、マンフレッド。デナート、エルンスト (2002)。ソフトウェアのパイオニア。
  • Broy, Manfred; Grunbauer, Johannes; Hoare, Tony (2007).ソフトウェアシステムの信頼性とセキュリティ. NATO Security through Science Series: 情報通信セキュリティ (NATO Security Through … D: 情報通信セキュリティ). 第9巻.
  • Broy, Manfred; Krüger, Ingolf; Meisinger, Michael (2006).モバイルネットワークにおける自動車ソフトウェア接続サービス：第1回自動車ソフトウェアワークショップ、ASWSD 2004.コンピュータサイエンス講義ノート.サンディエゴ、カリフォルニア州、米国.{{cite book}}: CS1 メンテナンス: 場所の発行元が見つかりません (リンク)
  • Broy, Manfred; Steinbrüggen, Ralf (2000).計算システム設計. NATO科学シリーズ：コンピュータとシステム科学（NATO ASIシリーズ。シリーズIII、コンピュータとシステム科学）ドイツ）NATO計算システム設計高等研究所（1998年）マルクトオーバードルフ、ドイツ。{{cite book}}: CS1 メンテナンス: 場所の発行元が見つかりません (リンク)
  • Broy, Manfred (1989). 「コンピュータサイエンスにおける構成的手法：国際サマースクール」NATO ASI. シリーズF、コンピュータおよびシステム科学。
  • Broy, Manfred (1996).演繹的プログラム設計. NATO ASIシリーズ: コンピュータとシステム科学.
  • Hoare, Tony ; Broy, Manfred; Steinbrüggen, Ralf (2001).ソフトウェア構築の工学理論. NATO科学シリーズ. シリーズIII, コンピュータとシステム科学, 180) (ドイツ) NATO高等研究機関によるソフトウェア構築の工学理論 (2000).マルクトオーバードルフ,ドイツ).{{cite book}}: CS1 メンテナンス: 場所の発行元が見つかりません (リンク)
  • Broy, Manfred; Gruenbauer, Johannes; Harel, David ; Hoare, Tony (2005).ソフトウェア集約型システムの工学理論. NATO高等研究所によるソフトウェア集約型システムの工学理論に関する議事録, … II: 数学、物理学、化学 – Kindle版より.
  • Broy, Manfred; Bjørner, Dines ; Pottosin, Igor V. (1993).プログラミングにおける形式手法とその応用：国際会議議事録.コンピュータサイエンス講義ノート. Academgorodok, Novosibirsk, Russia.{{cite book}}: CS1 メンテナンス: 場所の発行元が見つかりません (リンク)

参考文献

  1. ^ “CV Prof. Dr. Dr. hc Manfred Hans Bertold Broy” (PDF) .ウィーン工科大学 (TU Wien) (ドイツ語). 2012年.オリジナル(PDF)から2014年10月11日時点のアーカイブ。 2013年5月12日閲覧。
  2. ^ GI-Fellow citation Archived 3 March 2016 at the Wayback Machine、2012年3月9日閲覧。
  3. ^ Winter、Cornelia (2007 年 8 月 16 日)、「Manfred Broy aus München erhält Konrad-Zuse-Medaille – Höchste Informatik-Auszeichnung wird in Bremen verliehen」、Informationsdienst Wissenschaft (ドイツ語)
  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 . 2015年9月2日閲覧。
「 https://en.wikipedia.org/w/index.php?title=Manfred_Broy&oldid=1299957992」より取得