Das Max-Planck-Institut für Softwaresysteme (MPI-SWS) ist ein Informatik-Forschungsinstitut mit Standorten in Saarbrücken und Kaiserslautern, Deutschland. Es ist Teil der Max-Planck-Gesellschaft, die weltweit über 80 Institute betreibt. MPI-SWS betreibt Grundlagenforschung in allen Bereichen, die mit dem Entwurf, der Analyse, der Modellierung, der Implementierung und der Evaluierung komplexer Softwaresysteme zusammenhängen. Die Forschung umfasst Programmiersysteme, verteilte und vernetzte Systeme, eingebettete und autonome Systeme sowie querschnittliche Aspekte wie formale Modellierung, Sicherheit, Zuverlässigkeit und Softwaretechnik.
Das MPI-SWS wurde im November 2004 gegründet und ist auf fünf Direktoren, zwölf Tenure-Track- oder festangestellte Fakultätsmitglieder und etwa 100 Postdoktoranden und Doktoranden an beiden Standorten angewachsen. Das Institut ist bekannt für sein kollaboratives Umfeld und seine Beiträge in Bereichen wie verteilte Systeme und Programmiersprachen.
Forschungsfokus
MPI-SWS legt Wert auf grundlegende Forschung, die Theorie und Praxis verbindet. Zu den wichtigsten Bereichen gehören Programmiersysteme, in denen Forscher neue Sprachen und Werkzeuge entwickeln; verteilte Systeme mit Schwerpunkt auf Skalierbarkeit und Zuverlässigkeit; und eingebettete Systeme, die ressourcenbeschränkte Umgebungen adressieren. Das Institut untersucht auch formale Methoden zur Verifikation der Softwarekorrektheit sowie Sicherheits- und Datenschutzmechanismen. Die jüngste Arbeit überschneidet sich zunehmend mit maschinellem Lernen, insbesondere bei der Anwendung von Lerntechniken auf Systemoptimierung und -verifikation.
Standorte und Kooperationen
Ein Standort des MPI-SWS befindet sich auf dem Saarland Informatics Campus, in der Nähe der Universität des Saarlandes. Dieser Campus beherbergt mehrere Forschungsinstitute, darunter das Max-Planck-Institut für Informatik (MPII), mit dem MPI-SWS zentrale IT- und Verwaltungsdienste teilt. Der zweite Standort befindet sich auf dem Campus der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau, wo MPI-SWS mit dem Fachbereich Informatik und den Fraunhofer-Instituten für Experimentelles Software Engineering und für Techno- und Wirtschaftsmathematik zusammenarbeitet. Diese Kooperationen bieten eine reiche Umgebung für interdisziplinäre Forschung.
Graduiertenausbildung
Die International Max Planck Research School for Computer Science (IMPRS-CS) diente von 2000 bis 2019 als Graduiertenschule für MPI-SWS und MPII. Sie bot ein vollständig finanziertes Promotionsprogramm in Zusammenarbeit mit der Universität des Saarlandes an, mit Gerhard Weikum als Sprecher. Sie wurde von der International Max Planck Research School on Trustworthy Computing abgelöst, die mit der Universität des Saarlandes und der TU Kaiserslautern kooperiert und von Anja Feldmann geleitet wird. Diese neue Schule konzentriert sich auf zuverlässige und sichere Softwaresysteme und spiegelt die sich entwickelnden Prioritäten des Instituts wider.
Fakultät und Forschungsgruppen
MPI-SWS umfasst mehrere Forschungsgruppen, die von Direktoren und Fakultätsmitgliedern geleitet werden. Zu den Direktoren gehören Peter Druschel (Verteilte Systeme und Betriebssysteme), Derek Dreyer (Grundlagen der Programmierung), Paul Francis (Großskalige Internetsysteme), Krishna Gummadi (Vernetzte Systeme), Rupak Majumdar (Rigoroses Software-Engineering) und Joël Ouaknine (Grundlagen der algorithmischen Verifikation). Zu den festangestellten oder Tenure-Track-Fakultätsmitgliedern gehören Bjorn Brandenburg (Echtzeitsysteme), Deepak Garg (Grundlagen der Computersicherheit), Manuel Gomez Rodriguez (Lernen in Netzwerken), Antoine Kaufmann, Adish Singla, Mariya Toneva, Viktor Vafeiadis (Softwareanalyse und -verifikation) und Georg Zetzsche (Berechnungsmodelle). Ihre Forschung integriert oft maschinelles Lernen und künstliche Intelligenz, um Software-Herausforderungen zu bewältigen.
Wirkung und zukünftige Richtungen
MPI-SWS hat einflussreiche Arbeiten in Bereichen wie Modellprüfung, statischer Analyse und Netzwerkprotokollen hervorgebracht. Seine Forscher haben zahlreiche Auszeichnungen erhalten, darunter Best-Paper-Preise auf führenden Konferenzen. Das Institut kooperiert aktiv mit Industrie und Wissenschaft, und seine Alumni sind weltweit tätig. Da Softwaresysteme immer komplexer werden, erforscht MPI-SWS weiterhin neue Grenzen, einschließlich Deep Learning für den Systementwurf und formaler Verifikation KI-basierter Komponenten. Das Engagement des Instituts für Grundlagenforschung gewährleistet langfristige Auswirkungen auf Theorie und Praxis.