Max Planck Institute for Software Systems

Max Planck Institute for Software Systems
Mpi-sws-logo.png

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 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 following research groups:

  • Distributed Systems and Operating Systems Group is headed by Peter Druschel.
  • Networked Systems Group is headed by Krishna Gummadi.
  • Dependable Systems Group is headed by Rodrigo Rodrigues.
  • Large Scale Internet Systems Group is headed by Paul Francis.
  • Programming Languages and Systems Group is headed by Umut Acar.
  • Rigorous Software Engineering Group is headed by Rupak Majumdar.
  • Software Analysis and Verification Group is headed by Viktor Vafeiadis.
  • Type Systems and Functional Programming Group is headed by Derek Dreyer.
  • Information Security and Cryptography Group is headed by Michael Backes.

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Max Planck Institute for Computer Science — Max Planck Institute for Informatics at Saarbrücken The Max Planck Institute for Computer Science[1] (German …   Wikipedia

  • Max Planck Society — Eugen Fischer (Director of the Kaiser Wilhelm Institute for Anthropology) with Max Planck, circa 1940 Formation 1948 / 1911 (foundation of Kaiser Wilhelm Society) …   Wikipedia

  • Max-Planck-Institut für biophysikalische Chemie — (Karl Friedrich Bonhoeffer Institut) MPI für biophysikalische Chemie, Göttingen Kategorie: Forschungseinrichtung Träger …   Deutsch Wikipedia

  • Courant Institute of Mathematical Sciences — (CIMS) Established 1935 Type Private Academic staff 82 …   Wikipedia

  • Computational systems biology — is the algorithm and application development arm of systems biology. It is also directly associated with bioinformatics and computational biology. Computational systems biology aims to develop and use efficient algorithms, data structures and… …   Wikipedia

  • Spatial network analysis software — are computer tools used to prepare various graph based analysis of spatial networks. They stem from the research field of space syntax in the domain of architecture, although they can now be used to analyse road networks over an entire… …   Wikipedia

  • StarHub — For messages sent to anonymous Wikipedia editors on StarHub, see User talk:218.186.19.241 and User talk:202.156.14.10. StarHub Limited Type Public (SGX: CC3) In …   Wikipedia

  • Saarland University — Infobox University name=Saarland University native name=Universität des Saarlandes latin name=Universitas Saraviensis established=1948 type=Public staff=2,000 rector=Volker Linneweber faculty=290 professors students=15,500 (17% international)… …   Wikipedia

  • Saarbrücken — The title of this article contains the character ü. Where it is unavailable or not desired, the name may be represented as Saarbruecken. Saarbrücken …   Wikipedia

  • Internet privacy — involves the right or mandate of personal privacy concerning the storing, repurposing, providing to third parties, and displaying of information pertaining to oneself via the Internet. Privacy can entail both Personally Identifying Information… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”