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

Joël Ouaknine appointed ACM Fellow

Adish Singla awarded ERC Starting Grant

News

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.

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.

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.

Events