マックスプランクソフトウェアシステム研究所

マックスプランクソフトウェアシステム研究所

研究所のロゴ
略語	MPI-SWS
形成	2004年; 20年前 （2004年）
タイプ	研究機関
本部	ザールブリュッケン、カイザースラウテルン、ドイツ
Webサイト	詳しくはこちら

マックスプランクソフトウェアシステム研究所（MPI-SWS）は、ドイツのザールブリュッケンとカイザースラウテルンに所在するコンピュータサイエンスの研究機関です。この研究所は、複雑なソフトウェアシステムの設計、分析、モデリング、実装、評価に関連するすべての分野の基礎研究を行うことを目的としています。特に興味のある分野には、プログラミングシステム、分散およびネットワークシステム、組み込みおよび自律システム、さらにソフトウェアシステムの形式モデリングと分析、セキュリティ、信頼性、ソフトウェアエンジニアリングなどの分野横断的な側面があります。この研究所は、マックスプランク協会が運営する80を超える他の研究所の1つであり、医学、生物学、化学、物理学、技術、人文科学の分野で世界レベルの基礎研究を行っています。

マックス・プランクソフトウェアシステム研究所の2つの拠点のうちの1つはザールラント情報学キャンパス^[1]にあります。ザールラント情報学キャンパス自体は、コンピュータサイエンスと情報学の分野で活動する研究機関のクラスターであるザールラント大学のキャンパス内にあります。ザールブリュッケン拠点のすぐ隣には、研究所が密接に連携し、中核的なITおよび管理サービスを共有している情報学のためのMPI （MPII）があります。 ^{[2]研究所のもう1つの拠点は}カイザースラウテルン＝ランダウ大学のキャンパス内にあり、同大学のコンピュータサイエンス部門、フラウンホーファー実験ソフトウェア工学研究所、フラウンホーファー工業数学研究所と協力して活動しています。

国際マックスプランク情報科学研究学校（IMPRS-CS）は、MPI-SWSとMPIIの大学院でした。2000年から2019年まで運営され、ザールラント大学と協力し、全額出資の博士課程を提供していました。^{[3]スポークスマンは}ゲルハルト・ヴァイクム教授でした。

この研究は、信頼できるコンピューティングに関する国際マックスプランク研究スクール^[4]（ザールラント大学のコンピュータサイエンス学部、カイザースラウテルン工科大学のコンピュータサイエンス学部と協力）によって引き継がれました。スポークスマンはアンジャ・フェルドマンです。

この研究所は 2004 年 11 月に設立され、それ以来、積極的に研究者の増強に努めてきました。両拠点を合わせると、研究所には 5 人の所長、12 人の終身在職権のある教員、および約 100 人のポスドクと博士課程の学生がいます。

現在、研究所は以下の理事で構成されています: ^[5]

• 分散システムおよびオペレーティング システム グループの責任者、Peter Druschel氏。
• プログラミング基礎グループの責任者、Derek Dreyer 氏。
• 大規模インターネットシステムグループの責任者、ポール・フランシス氏。
• ネットワーク システム グループの責任者、クリシュナ グマディ氏。
• 厳密なソフトウェア エンジニアリング グループの責任者、Rupak Majumdar 氏。
• アルゴリズム検証基盤グループの責任者、Joël Ouaknine 氏。

および以下の終身在職権または終身在職権取得予定の教員: ^[5]

• リアルタイム システム グループの責任者、Bjorn Brandenburg 氏。
• コンピュータ セキュリティ基盤グループの責任者、Deepak Garg 氏。
• ネットワーク学習グループの責任者、マヌエル・ゴメス・ロドリゲス氏。
• アントワーヌ・カウフマン。
• アディッシュ・シングラ。
• マリヤ・トネヴァ。
• ソフトウェア分析および検証グループの責任者、Viktor Vafeiadis 氏。
• ゲオルク・ツェッチェ。

• マックスプランク情報学研究所
• マックス・プランク協会

• マックスプランクソフトウェアシステム研究所ホームページ
• マックス・プランク協会ホームページ
• 国際マックスプランクコンピュータサイエンス研究学校