Max Planck Institute for Software Systems
From Wikipedia, the free encyclopedia
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 world-class basic research in all areas related to the design, analysis, modeling, 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 modeling 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.
The Max Planck Institute for Software Systems is co-located, and works closely with, the MPI for Informatics (MPII), the computer science departments at the University of Kaiserslautern and the Saarland University, the German Research Center for Artificial Intelligence (DFKI), the Fraunhofer Institutes for Experimental Software Engineering and for Industrial Mathematics and other computing research centers within the Kaiserslautern-Saarbrücken computer science cluster.
[edit] Research School
The International Max Planck Research School for Computer Science (IMPRS-CS) is the graduate school of the MPI-SWS and the MPII. It was founded in 2000 and offers a fully funded PhD-Program (in cooperation with Saarland University). Dean is Prof. Dr. Gerhard Weikum.
[edit] Organization
The institute was founded in November of 2004 and is actively growing. Over the course of the next few years, the institute's scientific staff will grow to 5 directors, 12 tenure-track or tenured professors, and approximately 100 postdocs and doctoral students.
Currently, the institute consists of three research groups:
- Distributed Systems and Operating Systems Group is headed by Peter Druschel
- Networked Systems Group is headed by Krishna Gummadi
- Verification Systems Group is headed by Andrey Rybalchenko
