Max Planck Institute for Software Systems
Institute's logo | |
Abbreviation | MPI-SWS |
---|---|
Formation | 2004; 20 years ago (2004) |
Type | research institute |
Headquarters | Saarbrücken, Kaiserslautern, Germany |
Website | www |
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, modelling, 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 modelling 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.
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 institutes working in the field of computer science and informatics. Located immediately adjacent to the Saarbrücken base is the MPI for Informatics (MPII) for which the institute works closely and shares core IT and administrative services.[2] The institutes other base is on the campus of the University of Kaiserslautern-Landau, 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] The spokesperson was 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). The spokesperson is Anja Feldmann.
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.
- Derek Dreyer, head of the Foundations of Programming 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.
- Deepak Garg, head of the Foundations of Computer Security Group.
- Manuel Gomez Rodriguez, head of the Learning in Networks Group.
- Antoine Kaufmann.
- Adish Singla.
- Mariya Toneva.
- Viktor Vafeiadis, head of the Software Analysis and Verification Group.
- Georg Zetzsche.
See also
- Max Planck Institute for Informatics
- Max Planck Society
Notes
External links
- Max Planck Institute for Software Systems Homepage
- Max-Planck-Gesellschaft Homepage
- International Max Planck Research School for Computer Science
- v
- t
- e
- Evolutionary Anthropology
- Social Anthropology
- Astronomy
- Astrophysics
- Art History (Rome)
- Art History (Florence)
- Biochemistry
- Biogeochemistry
- Biological Intelligence
- Biology of Ageing
- Molecular Biomedicine
- Biophysics
- Brain Research
- Molecular Cell Biology and Genetics
- Chemistry
- Human Cognitive and Brain Sciences
- Research on Collective Goods
- Colloids and Interfaces
- Study of Crime, Security and Law
- Biological Cybernetics
- Demographic Research
- Study of Religious and Ethnic Diversity
- Dynamics and Self-Organization
- Dynamics of Complex Technical Systems
- Chemical Ecology
- Chemical Energy Conversion
- Evolutionary Biology
- Neuroscience (Florida)
- Friedrich Miescher Laboratory
- Fritz Haber Institute
- Molecular Genetics
- Gravitational Physics
- Heart and Lung Research
- History of Science
- Human Development
- Science of Human History
- Immunobiology and Epigenetics
- Infection Biology
- Informatics
- Innovation and Competition
- Intelligent Systems
- Coal Research
- Tax Law and Public Finance
- Comparative Public Law and International Law
- Comparative and International Private Law
- Social Law and Social Policy
- European Legal History
- Mathematics
- Mathematics in the Sciences
- Medical Research
- Meteorology
- Marine Microbiology
- Terrestrial Microbiology
- Microstructure Physics
- Multidisciplinary Sciences
- Neurobiology of Behavior
- Ornithology
- Science of Light
- Chemical Physics of Solids
- Physics of Complex Systems
- Physics
- Extraterrestrial Physics
- Nuclear Physics
- Molecular Physiology
- Plant Breeding Research
- Molecular Plant Physiology
- Plasma Physics
- Polymer Research
- Psychiatry
- Psycholinguistics
- Quantum Optics
- Radio Astronomy
- Security and Privacy
- Study of Societies
- Software Systems
- Solar System Research
- Solid State Research
- Sustainable Materials
research schools
- Otto Hahn (1948–1960)
- Adolf Butenandt (1960–1972)
- Reimar Lüst (1972–1984)
- Heinz Staab (1984–1990)
- Hans F. Zacher (1990–1996)
- Hubert Markl (1996–2002)
- Peter Gruss (2002–2014)
- Martin Stratmann (2014–2023)
- Patrick Cramer (since 2023)
- Walther Bothe (1954)
- Karl Ziegler (1963)
- Feodor Lynen (1964)
- Manfred Eigen (1967)
- Konrad Lorenz (1973)
- Georges J. F. Köhler (1984)
- Klaus von Klitzing (1985)
- Ernst Ruska (1986)
- Johann Deisenhofer (1988)
- Robert Huber (1988)
- Hartmut Michel (1988)
- Bert Sakmann (1991)
- Erwin Neher (1991)
- Paul J. Crutzen (1995)
- Christiane Nüsslein-Volhard (1995)
- Theodor W. Hänsch (2005)
- Gerhard Ertl (2007)
- Stefan W. Hell (2014)
- Emmanuelle Charpentier (2020)
- Reinhard Genzel (2020)
- Benjamin List (2021)
- Klaus Hasselmann (2021)
- Svante Pääbo (2022)
- Ferenc Krausz (2023)
- Kaiser Wilhelm Society
- Max Planck Digital Library
- Harnack Medal
- Schloss Ringberg