The Max Planck Institute for Software Systems (MPI-SWS) is a computer science research institute co-located in Saarbrücken and Kaiserslautern, Germany. It is part of the Max Planck Society, which operates over 80 institutes worldwide. MPI-SWS conducts basic research in all areas related to the design, analysis, modelling, implementation, and evaluation of complex software systems. Its research spans programming systems, distributed and networked systems, embedded and autonomous systems, and crosscutting aspects such as formal modelling, security, dependability, and software engineering.
Founded in November 2004, MPI-SWS has grown to include five directors, twelve tenure-track or tenured faculty members, and approximately 100 postdocs and doctoral students across its two locations. The institute is known for its collaborative environment and its contributions to areas like distributed systems and programming languages.
Research Focus
MPI-SWS emphasizes foundational research that bridges theory and practice. Key areas include programming systems, where researchers develop new languages and tools; distributed systems, focusing on scalability and reliability; and embedded systems, which address resource-constrained environments. The institute also investigates formal methods for verifying software correctness, as well as security and privacy mechanisms. Recent work has increasingly intersected with machine learning, particularly in applying learning techniques to system optimization and verification.
Locations and Collaborations
One base of MPI-SWS is located on the Saarland Informatics Campus, adjacent to Saarland University. This campus hosts several research institutes, including the Max Planck Institute for Informatics (MPII), with which MPI-SWS shares core IT and administrative services. The second base is on the campus of the University of Kaiserslautern-Landau, where MPI-SWS cooperates with the computer science department and the Fraunhofer Institutes for Experimental Software Engineering and for Industrial Mathematics. These collaborations provide a rich environment for interdisciplinary research.
Graduate Education
The International Max Planck Research School for Computer Science (IMPRS-CS) served as the graduate school for MPI-SWS and MPII from 2000 to 2019. It offered a fully funded PhD program in cooperation with Saarland University, with Gerhard Weikum as spokesperson. It was succeeded by the International Max Planck Research School on Trustworthy Computing, which cooperates with Saarland University and TU Kaiserslautern, and is led by Anja Feldmann. This new school focuses on reliable and secure software systems, reflecting the institute's evolving priorities.
Faculty and Research Groups
MPI-SWS comprises several research groups led by directors and faculty. Directors include Peter Druschel (Distributed Systems and Operating Systems), Derek Dreyer (Foundations of Programming), Paul Francis (Large Scale Internet Systems), Krishna Gummadi (Networked Systems), Rupak Majumdar (Rigorous Software Engineering), and Joël Ouaknine (Foundations of Algorithmic Verification). Tenured or tenure-track faculty include Bjorn Brandenburg (Real-Time Systems), Deepak Garg (Foundations of Computer Security), Manuel Gomez Rodriguez (Learning in Networks), Antoine Kaufmann, Adish Singla, Mariya Toneva, Viktor Vafeiadis (Software Analysis and Verification), and Georg Zetzsche (Models of Computation). Their research often integrates machine learning and artificial intelligence to address software challenges.
Impact and Future Directions
MPI-SWS has produced influential work in areas such as model checking, static analysis, and network protocols. Its researchers have received numerous awards, including best paper prizes at top conferences. The institute actively collaborates with industry and academia, and its alumni hold positions worldwide. As software systems become more complex, MPI-SWS continues to explore new frontiers, including deep learning for system design and formal verification of AI-based components. The institute's commitment to basic research ensures long-term impact on both theory and practice.