every aspect of human endeavor”
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 and Umut Acar join 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.
Umut Acar joins the institute's faculty, starting in January 2010. Umut's research interests are in language and algorithm design and implementation, particularly for dynamic systems that interact with changing data from various sources, such as users and the physical environment.
Career opportunities:
Architect's rendering of new institute buildings:
Lectures:
Computing research organizations in the surrounding area:
