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.

Derek Dreyer appointed MPI-SWS Director


Sandra Kiefer joins MPI-SWS

April 14, 2022
Sandra Kiefer has joined the institute as a research group leader. Her research interests include algorithmic and structural graph theory as well as logic in computer science, with a recent focus on the applicability of tools from these areas to the study of biochemical networks.

Joël Ouaknine appointed ACM Fellow

January 30, 2022
Joël Ouaknine was appointed as a Fellow by the Association for Computing Machinery, for his contributions to algorithmic analysis of dynamical systems.

Bob Harper receives ACM SIGPLAN Achievement Award

January 21, 2022
MPI-SWS external scientific member Bob Harper has received the 2021 ACM SIGPLAN Programming Languages Achievement Award---the most significant international career award in programming languages.

Adish Singla awarded ERC Starting Grant

January 17, 2022
Adish Singla has been awarded an ERC Starting Grant of 1.5 million euros for his project "Machine-Assisted Teaching for Open-Ended Problem Solving: Foundations and Applications".

Goran Radanovic receives Emmy Noether Award

January 10, 2022
MPI-SWS research group leader Goran Radanovic was accepted to the Emmy Noether Programme of the German Science Foundation (DFG) to establish his own research group designing a framework for trustworthy multi-agent sequential decision making.