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.

Joël Ouaknine appointed ACM Fellow

Adish Singla awarded ERC Starting Grant

Goran Radanovic receives Emmy Noether Award


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.

Max Planck researchers publish 11 papers at POPL 2022!

December 14, 2021
Max Planck researchers have authored eleven papers to appear in POPL 2022, almost 17% of all papers accepted this year.

Antoine Kauffman joins MPI-SWS tenure-track faculty

October 1, 2021
Antoine Kaufmann has joined the tenure-track faculty at our institute, effective October 1, 2021.

MPI-SWS students receive ACM SIGPLAN Dissertation Award two years in a row

September 14, 2021
Ralf Jung's thesis has received the 2021 ACM SIGPLAN Dissertation Award, marking the second year in a row that the award was given to an MPI-SWS student.

Otto Hahn Medal awarded to two MPI-SWS students

April 27, 2021
Ralf Jung and Bilal Zafar have each been awarded a 2021 Otto Hahn Medal for outstanding scientific achievement.