Instituto Max Planck de Sistemas de Software

El Instituto Max Planck de Sistemas de Software ( MPI-SWS ) es un instituto de investigación en informática con sede en Saarbrücken y Kaiserslautern , Alemania . Su misión es llevar a cabo investigación básica en todas las áreas relacionadas con el diseño, el análisis, el modelado, la implementación y la evaluación de sistemas de software complejos. Entre sus áreas de especial interés se incluyen los sistemas de programación, los sistemas distribuidos y en red , los sistemas embebidos y autónomos , así como aspectos transversales como el modelado y el análisis formal de sistemas de software, la seguridad, la fiabilidad y la ingeniería de software. Se une a más de 80 institutos gestionados por la Sociedad Max Planck , que realizan investigación básica de primer nivel en medicina, biología, química, física, tecnología y humanidades.

Una de las dos sedes del Instituto Max Planck de Sistemas de Software se encuentra en el Campus de Informática de Saarland, ^{[ 1 ]} que a su vez forma parte del campus de la Universidad de Saarland , un conjunto de institutos de investigación que trabajan en el campo de la informática y la computación. Justo al lado de la sede de Saarbrücken se encuentra el MPI de Informática (MPII), con el que el instituto colabora estrechamente y comparte servicios informáticos y administrativos básicos. ^{[ 2 ]} La otra sede del instituto está en el campus de la Universidad de Kaiserslautern-Landau , donde trabaja en cooperación con su departamento de informática y los Institutos Fraunhofer de Ingeniería de Software Experimental y de Matemáticas Industriales .

La Escuela Internacional de Investigación Max Planck para Ciencias de la Computación (IMPRS-CS) fue la escuela de posgrado del MPI-SWS y del MPII. Estuvo operativa entre 2000 y 2019 y ofreció un programa de doctorado con financiación completa (en cooperación con la Universidad de Saarland ). ^{[ 3 ]} El portavoz fue el Prof. Dr. Gerhard Weikum .

Fue sucedida por la Escuela Internacional de Investigación Max Planck sobre Computación Confiable ^{[ 4 ]} (en cooperación con el Departamento de Ciencias de la Computación de la Universidad de Saarland y el Departamento de Ciencias de la Computación de la TU Kaiserslautern). La portavoz es Anja Feldmann .

El instituto se fundó en noviembre de 2004 y, desde entonces, busca activamente ampliar su plantilla de investigadores. En total, el instituto cuenta con 5 directores, 12 profesores titulares o con plaza fija y aproximadamente 100 becarios postdoctorales y estudiantes de doctorado.

Actualmente, el instituto está integrado por los siguientes directores: ^{[ 5 ]}

• Peter Druschel , jefe del Grupo de Sistemas Distribuidos y Sistemas Operativos.
• Derek Dreyer, jefe del Grupo de Fundamentos de Programación.
• Paul Francis, jefe del Grupo de Sistemas de Internet a Gran Escala.
• Krishna Gummadi, jefe del Grupo de Sistemas en Red.
• Rupak Majumdar, jefe del Grupo de Ingeniería de Software Riguroso.
• Joël Ouaknine, jefe del Grupo de Fundamentos de Verificación Algorítmica.

y los siguientes miembros del profesorado con plaza fija o en vías de obtenerla: ^{[ 5 ]}

• Bjorn Brandenburg, jefe del Grupo de Sistemas en Tiempo Real.
• Deepak Garg, jefe del Grupo de Fundamentos de Seguridad Informática.
• Manuel Gómez Rodríguez, responsable del Grupo de Aprendizaje en Redes.
• Antoine Kaufmann.
• Adish Singla.
• Mariya Toneva.
• Viktor Vafeiadis, jefe del Grupo de Análisis y Verificación de Software.
• Georg Zetzsche, jefe del Grupo de Modelos de Computación.

• Instituto Max Planck de Informática
• Sociedad Max Planck

• Página principal del Instituto Max Planck de Sistemas de Software
• Página principal de la Sociedad Max Planck
• Escuela Internacional de Investigación Max Planck para la Informática