Institut Maxe Plancka pro softwarové systémy - Max Planck Institute for Software Systems

Institut Maxe Plancka pro softwarové systémy
Mpi-sws-logo.png
Logo ústavu
ZkratkaMPI-SWS
Formace2004; Před 16 lety (2004)
Typvýzkumný institut
Hlavní sídloSaarbrücken, Kaiserslautern, Německo
webová stránkawww.mpi-sws.org

The Institut Maxe Plancka pro softwarové systémy (MPI-SWS) je a počítačová věda výzkumný ústav se sídlem v Saarbrücken a Kaiserslautern, Německo. Institut je pověřen prováděním základního výzkumu ve všech oblastech souvisejících s návrhem, analýzou, modelováním, implementací a hodnocením komplexních softwarových systémů. Zvláštní oblasti zájmu zahrnují programovací systémy, distribuováno a síťové systémy, vložený a autonomní systémy, jakož i průřezové aspekty, jako je formální modelování a analýza softwarových systémů, bezpečnost, spolehlivost a softwarové inženýrství. Připojuje se k více než 80 dalším institutům provozovaným Max-Planck-Gesellschaft, které provádějí prvotřídní základní výzkum v medicíně, biologii, chemii, fyzice, technologii a humanitních vědách.

Jedna ze dvou základen Institutu Maxe Plancka pro softwarové systémy se nachází v kampusu Saarland Informatics,[1] sám založený na kampusu Sárská univerzita, skupina výzkumných ústavů působících v oblasti výpočetní techniky a informatiky. Nachází se bezprostředně vedle základny Saarbrücken je MPI pro informatiku (MPII), pro které institut úzce pracuje a sdílí základní IT a administrativní služby.[2] Další základna ústavů je v areálu univerzity University of Kaiserslautern, spolupracující se svým oddělením informatiky a Fraunhofer Institutes for Experimental Software Engineering and for Industrial Mathematics.

Výzkumná škola

Mezinárodní škola výzkumu Maxe Plancka pro informatiku (IMPRS-CS) byla postgraduální škola MPI-SWS a MPII. Byl v provozu v letech 2000 až 2019 a nabízel plně financovaný doktorský program (ve spolupráci s Sárská univerzita ).[3] Deanem je prof. Dr. Gerhard Weikum. To bylo následováno International Max Planck Research School on Trustworthy Computing[4] (ve spolupráci s katedrou informatiky na Sárské univerzitě a katedrou informatiky na TU Kaiserslautern).

Organizace

Institut byl založen v listopadu 2004 a od té doby se aktivně snaží rozšířit svoji továrnu výzkumníků. Shrneme-li obě místa, má institut celkovou kapacitu 5 ředitelů, 12 členů fakulty nebo držených na fakultě a přibližně 100 doktorandů a doktorandů.

V současné době se ústav skládá z následujících ředitelů:[5]

  • Peter Druschel, vedoucí skupiny distribuovaných systémů a operačních systémů.
  • Paul Francis, vedoucí velké internetové skupiny.
  • Krishna Gummadi, vedoucí skupiny Networked Systems Group.
  • Rupak Majumdar, vedoucí skupiny Rigorous Software Engineering Group.
  • Joël Ouaknine, vedoucí skupiny Algorithmic Verification Group.

a následující členy fakulty s tenure nebo tenure-track:[5]

  • Bjorn Brandenburg, vedoucí skupiny systémů v reálném čase.
  • Maria Christakis, vedoucí skupiny praktických formálních metod.
  • Eva Darulová.
  • Derek Dreyer, vedoucí skupiny programových základů.
  • Deepak Garg, vedoucí skupiny Foundations of Computer Security Group.
  • Keon Jang.
  • Jonathan Mace.
  • Manuel Gomez Rodriguez, vedoucí skupiny Learning in Networks Group.
  • Adish Singla.
  • Viktor Vafeiadis, vedoucí skupiny pro analýzu a ověřování softwaru.
  • Georg Zetzsche.

Viz také

Poznámky

  1. ^ „Campus Sársko“.
  2. ^ „Dvouleté zprávy o pokroku za období 2013–2015“ (PDF).
  3. ^ „International Max Planck Research School for Computer Science“.
  4. ^ „International Max Planck Research School on Trustworthy Computing“.
  5. ^ A b https://www.mpi-sws.org/people/#faculty-and-researchers

externí odkazy