 | This article needs additional citations for verification. (January 2021) |
 Institute's logo | |
| Abbreviation | MPI-SWS |
|---|---|
| Formation | 2004 |
| Type | research institute |
| Headquarters | Saarbrücken, Kaiserslautern, Germany |
| Website | www |
The Max Planck Institute for Software Systems (MPI-SWS) is a computer science research institute co-located in Saarbrücken and Kaiserslautern, Germany. The institute is chartered to conduct basic research in all areas related to the design, analysis, modelling, implementation and evaluation of complex software systems. Particular areas of interest include programming systems, distributed and networked systems, embedded and autonomous systems, as well as crosscutting aspects like formal modelling and analysis of software systems, security, dependability and software engineering. It joins over 80 other institutes run by the Max-Planck-Gesellschaft, which conduct world-class basic research in medicine, biology, chemistry, physics, technology and the humanities.
One of the two bases of the Max Planck Institute for Software Systems is located on the Saarland Informatics Campus,[1] itself based on the campus of the Saarland University, a cluster of research institutes working in the field of computer science and informatics. Located immediately adjacent to the Saarbrücken base is the MPI for Informatics (MPII) for which the institute works closely and shares core IT and administrative services.[2] The institutes other base is on the campus of the University of Kaiserslautern-Landau, working in co-operation with its computer science department and the Fraunhofer Institutes for Experimental Software Engineering and for Industrial Mathematics.