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.

Mariya Toneva joins MPI-SWS tenure-track faculty

Derek Dreyer appointed MPI-SWS Director

News

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".

Ralf Jung receives ACM Doctoral Dissertation Award Honorable Mention

July 30, 2021
Ralf Jung's doctoral dissertation on "Understanding and Evolving the Rust Programming Language" has received the ACM Doctoral Dissertation Award Honorable Mention.

Events