El Instituto Max Planck de Sistemas de Software (MPI-SWS) es un instituto de investigación en ciencias de la computación ubicado en Saarbrücken y Kaiserslautern , Alemania . El instituto está autorizado para realizar investigación básica en todas las áreas relacionadas con el diseño, análisis, modelado, implementación y evaluación de sistemas de software complejos. Las áreas particulares de interés incluyen sistemas de programación, sistemas distribuidos y en red , integrados y autónomos.sistemas, así como aspectos transversales como modelado formal y análisis de sistemas de software, seguridad, confiabilidad e ingeniería de software. Se une a más de 80 institutos administrados por Max-Planck-Gesellschaft , que realizan investigación básica de primer nivel en medicina, biología, química, física, tecnología y humanidades.
Abreviatura | MPI-SWS |
---|---|
Formación | 2004 |
Tipo | Instituto de Investigación |
Sede | Saarbrücken , Kaiserslautern , Alemania |
Sitio web | www |
Una de las dos bases del Instituto Max Planck de Sistemas de Software se encuentra en el Campus de Informática de Saarland, [1] en sí mismo basado en el campus de la Universidad de Saarland , un grupo de institutos de investigación que trabajan en el campo de la informática y la informática. Inmediatamente adyacente a la base de Saarbrücken se encuentra el MPI for Informatics (MPII) para el cual el instituto trabaja en estrecha colaboración y comparte los principales servicios administrativos y de TI. [2] La otra base del instituto se encuentra en el campus de la Universidad de Kaiserslautern , trabajando en cooperación con su departamento de informática y los Institutos Fraunhofer de Ingeniería de Software Experimental y Matemática Industrial .
Escuela de investigación
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 el MPII. Estuvo operativo entre 2000 y 2019 y ofreció un programa de doctorado totalmente financiado (en cooperación con la Universidad de Saarland ). [3] El decano es el Prof. Dr. Gerhard Weikum . Fue sucedido por la Escuela de Investigación Internacional 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 TU Kaiserslautern).
Organización
El instituto fue fundado en noviembre de 2004 y desde entonces busca activamente aumentar su planta de investigadores. Resumiendo ambas ubicaciones, el instituto tiene una capacidad total de 5 directores, 12 profesores titulares o titulares, y aproximadamente 100 estudiantes de posdoctorado y doctorado.
Actualmente, el instituto está integrado por los siguientes directores: [5]
- Peter Druschel , director del Grupo de Sistemas Operativos y Sistemas Distribuidos.
- Paul Francis, director del Grupo de sistemas de Internet a gran escala.
- Krishna Gummadi, director del Grupo de sistemas en red.
- Rupak Majumdar, director del Rigorous Software Engineering Group.
- Joël Ouaknine, jefe del Grupo de Fundamentos de Verificación Algorítmica.
y los siguientes miembros de la facultad titulares o en período de permanencia: [5]
- Bjorn Brandenburg, director del Grupo de sistemas en tiempo real.
- Maria Christakis, jefa del Grupo de Métodos Formales Prácticos.
- Eva Darulova.
- Derek Dreyer, jefe del Grupo de Fundamentos de Programación.
- Deepak Garg, jefe del Grupo de Fundamentos de Seguridad Informática.
- Keon Jang.
- Jonathan Mace.
- Manuel Gómez Rodríguez, responsable del Grupo de Aprendizaje en Redes.
- Adish Singla.
- Viktor Vafeiadis, jefe del Grupo de Verificación y Análisis de Software.
- Georg Zetzsche.
Ver también
Notas
- ^ "Campus de informática de Saarland" .
- ^ "Informes bienales de progreso 2013-2015" (PDF) .
- ^ "Escuela Internacional de Investigación Max Planck en Ciencias de la Computación" .
- ^ "Escuela de investigación internacional Max Planck sobre informática confiable" .
- ^ a b https://www.mpi-sws.org/people/#faculty-and-researchers
enlaces externos
- Página de inicio del Instituto Max Planck de Sistemas de Software
- Página de Max-Planck-Gesellschaft
- Escuela Internacional de Investigación Max Planck para Ciencias de la Computación