マンフレッド・ブロイ

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

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

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

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

2004年、彼はGesellschaft für Informatikのフェローに選出され^[2]、2007年にはKonrad Zuse Medalを受賞しました。^[3]また、 International Journal of Software and Informaticsの編集者でもあります。ブロイは、International Summer School Marktoberdorfのディレクターを務めています。^[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セキュリティ シリーズ: 情報通信セキュリティ (Nato Security Through … D: 情報通信セキュリティ)。第 9 巻。
• Broy, Manfred; Krüger, Ingolf; Meisinger, Michael (2006)。モバイル ネットワークにおける自動車ソフトウェア接続サービス: 最初の自動車ソフトウェア ワークショップ、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、ノボシビルスク、ロシア。{{cite book}}: CS1 メンテナンス: 場所が見つかりません 発行者 (リンク)

• 公式サイト
• DBLP書誌サーバーの Manfred Broy