Max Planck Institute for Software Systems

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, 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.

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.

Organization

The institute was founded in November 2004, and ever since is actively seeking to augment its plant of researchers. Summing up both locations, the institute has a total capacity of 5 directors, 12 tenure-track or tenured faculty members, and approximately 100 postdocs and doctoral students.

Currently, the institute comprises the following directors and faculty members:

  • Bjorn Brandenburg, head of the Real-Time Systems Group.
  • Maria Christakis, head of the Practical Formal Methods Group.
  • Eva Darulova.
  • Derek Dreyer, head of the Foundations of Programming Group.
  • Peter Druschel (Director), head of the Distributed Systems and Operating Systems Group.
  • Paul Francis (Director), head of the Large Scale Internet Systems Group.
  • Deepak Garg, head of the Foundations of Computer Security Group.
  • Manuel Gomez Rodriguez, head of the Learning in Networks Group.
  • Krishna Gummadi, head of the Networked Systems Group.
  • Rupak Majumdar (Director), head of the Rigorous Software Engineering Group.
  • Viktor Vafeiadis, head of the Software Analysis and Verification Group.

Additionally, it has the following affiliated researchers:

  • Michael Backes (Max Planck Fellow), head of the Information Security and Cryptography Group.
  • Robert Harper (External Scientific Member).

See also

Max Planck Institute for Computer Science

Notes

    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.