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.

Max Planck Institute for Software Systems
Institute's logo
AbbreviationMPI-SWS
Formation2004 (2004)
Typeresearch institute
HeadquartersSaarbrücken, Kaiserslautern, Germany
Websitewww.mpi-sws.org

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 insitutes working in the field of computer science and informatics. Located immediated adjacent to the Saarbrücken base is the MPI for Informatics (MPII) for which the insitute works closely and shares core IT and administrative services[2]. The institutes other base is on the campus of the University of Kaiserslautern, working in co-operation with its computer science department and the Fraunhofer Institutes for Experimental Software Engineering and for Industrial Mathematics.

Research School

The International Max Planck Research School for Computer Science (IMPRS-CS) was the graduate school of the MPI-SWS and the MPII. It was operational between 2000 and 2019 and offered a fully funded PhD-Program (in cooperation with Saarland University)[3]. Dean is Prof. Dr. Gerhard Weikum. It was succeeded by the International Max Planck Research School on Trustworthy Computing[4] (in cooperation with Computer Science Department at Saarland University, and the Computer Science Department at TU Kaiserslautern).

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[5]:

  • Peter Druschel, head of the Distributed Systems and Operating Systems Group.
  • Paul Francis, head of the Large Scale Internet Systems Group.
  • Krishna Gummadi, head of the Networked Systems Group.
  • Rupak Majumdar, head of the Rigorous Software Engineering Group.
  • Joël Ouaknine, head of the Foundations of Algorithmic Verification Group.

and the following tenured or tenure-track faculty members[5]:

  • 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.
  • Deepak Garg, head of the Foundations of Computer Security Group.
  • Keon Jang.
  • Jonathan Mace.
  • Manuel Gomez Rodriguez, head of the Learning in Networks Group.
  • Adish Singla.
  • Viktor Vafeiadis, head of the Software Analysis and Verification Group.
  • Georg Zetzsche.
gollark: "Benefit to society" is vague and seems to mostly just work as a bludgeon to complain about things which don't have some obvious and Morally Pure™ justification to exist.
gollark: I'm speaking (typing) in general, I mean.
gollark: I suppose you could say that the "negative contribution to society" outweighs the positive one, which is more likely to be true for illegal stuff than legal stuff, at least.
gollark: Sure?
gollark: Ultimately someone is paying for these jobs, but there's frequently enough indirection that it becomes nearly-meaningless.

See also

Notes
  1. "Saarland Informatics Campus".
  2. "Biennial Progress Reports 2013-2015" (PDF).
  3. "International Max Planck Research School for Computer Science".
  4. "International Max Planck Research School on Trustworthy Computing".
  5. https://www.mpi-sws.org/people/#faculty-and-researchers

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