L'Institut Max Planck pour les systèmes logiciels (MPI-SWS) est un institut de recherche en informatique situé à la fois à Sarrebruck et à Kaiserslautern, en Allemagne. Il fait partie de la Société Max Planck, qui gère plus de 80 instituts dans le monde. Le MPI-SWS mène des recherches fondamentales dans tous les domaines liés à la conception, l'analyse, la modélisation, l'implémentation et l'évaluation de systèmes logiciels complexes. Ses recherches couvrent les systèmes de programmation, les systèmes distribués et en réseau, les systèmes embarqués et autonomes, ainsi que des aspects transversaux tels que la modélisation formelle, la sécurité, la fiabilité et le génie logiciel.
Fondé en novembre 2004, le MPI-SWS a grandi pour inclure cinq directeurs, douze membres du corps professoral titulaires ou en voie de titularisation, et environ 100 postdoctorants et doctorants répartis sur ses deux sites. L'institut est connu pour son environnement collaboratif et ses contributions dans des domaines comme les systèmes distribués et les langages de programmation.
Axes de recherche
Le MPI-SWS met l'accent sur la recherche fondamentale qui fait le pont entre la théorie et la pratique. Les domaines clés incluent les systèmes de programmation, où les chercheurs développent de nouveaux langages et outils ; les systèmes distribués, axés sur l'évolutivité et la fiabilité ; et les systèmes embarqués, qui traitent des environnements à ressources limitées. L'institut étudie également les méthodes formelles pour vérifier la correction des logiciels, ainsi que les mécanismes de sécurité et de confidentialité. Les travaux récents s'intersectent de plus en plus avec apprentissage automatique, en particulier dans l'application de techniques d'apprentissage à l'optimisation et à la vérification des systèmes.
Sites et collaborations
Une base du MPI-SWS est située sur le campus d'informatique de la Sarre, à côté de l'Université de la Sarre. Ce campus héberge plusieurs instituts de recherche, dont l'Institut Max Planck pour l'informatique (MPII), avec lequel le MPI-SWS partage les services informatiques et administratifs de base. La deuxième base se trouve sur le campus de l'Université de Kaiserslautern-Landau, où le MPI-SWS coopère avec le département d'informatique et les Instituts Fraunhofer pour le génie logiciel expérimental et pour les mathématiques industrielles. Ces collaborations offrent un environnement riche pour la recherche interdisciplinaire.
Formation doctorale
L'École internationale de recherche Max Planck pour l'informatique (IMPRS-CS) a servi d'école doctorale pour le MPI-SWS et le MPII de 2000 à 2019. Elle offrait un programme de doctorat entièrement financé en coopération avec l'Université de la Sarre, avec Gerhard Weikum comme porte-parole. Elle a été remplacée par l'École internationale de recherche Max Planck sur l'informatique de confiance, qui coopère avec l'Université de la Sarre et l'Université technique de Kaiserslautern, et est dirigée par Anja Feldmann. Cette nouvelle école se concentre sur les systèmes logiciels fiables et sécurisés, reflétant les priorités évolutives de l'institut.
Corps professoral et groupes de recherche
Le MPI-SWS comprend plusieurs groupes de recherche dirigés par des directeurs et des membres du corps professoral. Les directeurs incluent Peter Druschel (Systèmes distribués et systèmes d'exploitation), Derek Dreyer (Fondements de la programmation), Paul Francis (Systèmes Internet à grande échelle), Krishna Gummadi (Systèmes en réseau), Rupak Majumdar (Génie logiciel rigoureux) et Joël Ouaknine (Fondements de la vérification algorithmique). Les membres du corps professoral titulaires ou en voie de titularisation incluent Bjorn Brandenburg (Systèmes temps réel), Deepak Garg (Fondements de la sécurité informatique), Manuel Gomez Rodriguez (Apprentissage dans les réseaux), Antoine Kaufmann, Adish Singla, Mariya Toneva, Viktor Vafeiadis (Analyse et vérification de logiciels) et Georg Zetzsche (Modèles de calcul). Leurs recherches intègrent souvent apprentissage automatique et intelligence artificielle pour relever les défis logiciels.
Impact et orientations futures
Le MPI-SWS a produit des travaux influents dans des domaines tels que le model checking, l'analyse statique et les protocoles réseau. Ses chercheurs ont reçu de nombreux prix, y compris des prix du meilleur article lors de conférences de premier plan. L'institut collabore activement avec l'industrie et le monde académique, et ses anciens élèves occupent des postes dans le monde entier. Alors que les systèmes logiciels deviennent plus complexes, le MPI-SWS continue d'explorer de nouvelles frontières, y compris apprentissage profond pour la conception de systèmes et la vérification formelle des composants basés sur l'IA. L'engagement de l'institut envers la recherche fondamentale garantit un impact à long terme sur la théorie et la pratique.