
The Max Planck Institute for Software Systems conducts high-risk, high-impact research in all areas related to the design, analysis, modeling, implementation and evaluation of complex software systems.
It is one of eighty institutes run by the Max Planck Society, which is world-renowned for its basic research in medicine, biology, chemistry, physics, technology and the humanities.
Spotlight: Rupak Majumdar joins the MPI-SWS faculty

Rupak Majumdar joins the institute's faculty as a scientific director, effective June, 2010. Rupak's research interests are in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems; software verification and programming languages; and logic and automata theory.
Spotlight: Michael Backes awarded an ERC Starting Grant, selected by Technology Review as a "Young Innovator"

Spotlight: MPI-SWS graduates first four students




Career opportunities:
Architect's rendering of new institute buildings:
Lectures:
Computing research organizations in the surrounding area: