Jump to content

Max Planck Institute for Software Systems

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Amislove (talk | contribs) at 20:49, 22 October 2006 (initial upload). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

The Max Planck Institute for Software Systems 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 is part of the Max-Planck-Gesellschaft, Germany's largest society for fundamental research.

The institute was founded in November of 2004 and is actively growing. Currently, the institute consists of two research groups:

The MPI for Software Systems is co-located, and works closely with, the MPI for Informatics, 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.