The Max Planck Institute for Software Systems

studies the principles of efficient, dependable, secure, and usable computing systems, as well as their interaction with the physical and social context in which they operate.

We conduct foundational research in relevant areas of computer science and beyond, covering theory, empirical analysis, and data-driven investigation. We seek impact through publications, artifacts, and people.

Georg Zetzsche joins MPI-SWS

as a new tenure-track faculty member, effective November 1, 2018. 


Girls Day 2019

April 5, 2019
The MPIs for Informatics and Software Systems welcomed 27 school-aged girls for the annual Girls' Day on 28 March.

Antoine Kaufmann joins MPI-SWS

August 1, 2018
Antoine Kaufmann has joined the institute as a research group leader. His research investigates the design and implementation of efficient, scalable, and robust systems for rapidly evolving modern platforms.

Five MPI-SWS papers at POPL 2019!

December 3, 2018
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019. What's more, the MPI-SWS Software Analysis and Verification group has a whole session to itself!

Jonathan Mace receives Dennis M. Ritchie Dissertation Honorable Mention

October 23, 2018
ACM's Special Interest Group on Operating Systems has awarded MPI-SWS faculty member Jonathan Mace an honorable mention for the Dennis M. Ritchie Doctoral Dissertation Award.

Research Spotlight: From Newton to Turing to cyber-physical systems

February 13, 2018
MPI-SWS researchers are investigating what classes of infinite-state programs can be analyzed algorithmically by viewing computer programs abstractly as dynamical systems.