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.

News

Tenure-track Openings* at Computer Science MPIs

October 23, 2024
The Max Planck Institutes in Computer Science invite applications for tenure-track faculty in all areas of computer science and its intersection with other discipline. We expect to fill several positions. For full consideration, applications should be submitted by December 1st, 2024.

MPI-SWS participates in 2024 Girls' Day

August 8, 2024
On September 13, 2024, we will welcome high-school girls to our institute, and show them what computer science research is all about.

MPI-SWS researcher receives OSDI 2024 Best Paper Award

July 12, 2024
Andrea Lattuada and his collaborators have received a Best Paper Award at OSDI 2024 for his paper “Anvil: Verifying Liveness of Cluster Management Controllers.”

MPI-SWS researchers receives LICS 2024 Distinguished Paper Award

July 8, 2024
MPI-SWS researchers have received a Distinguished Paper Award at LICS 2024 for their paper "On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates."

MPI-SWS researchers receive PLDI 2024 Distinguished Artifact Award

July 4, 2024
MPI-SWS researcherers have received the PLDI 2024 Distinguished Artifact Award for their paper Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.

Events