The Max Planck Institute for Software Systems

studies the principles of efficient, dependable, secure, and usable computing systems, as well as their interaction with the physical and social context in which they operate.

We conduct foundational research in relevant areas of computer science and beyond, covering theory, empirical analysis, and data-driven investigation. We seek impact through publications, artifacts, and people.

Research Spotlight: Software Engineering for Machine Learning

News

Research Spotlight: Logic and Learning

January 27, 2020
We help engineers build safe and reliable hardware, software, and cyber-physical systems, using a unique and promising strategy: combining inductive techniques (from the area of machine learning) with deductive techniques (from the area of mathematical logic).

Max Planck researchers publish 8 papers at POPL 2020 + a new record!

November 13, 2019
Max Planck Researchers have authored eight papers to appear in POPL 2020, just over 10% of all papers accepted this year.

Goran Radanovic joins MPI-SWS

September 16, 2019
Goran Radanovic has joined the institute as a research group leader. His research investigates the design and analysis of systems with intelligent and self-interested agents.

Several Open Positions in the ERC-funded TOROS Project

August 20, 2019
The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions.

Paper by MPI-SWS researchers wins both a 2019 Usenix Security Symposium Distinguished Paper Award and the Usenix/Facebook Internet Defense Prize

August 19, 2019
A paper by MPI-SWS researchers has won both a distinguished paper award and the Internet Defense Prize at the 2019 Usenix Security Conference.

Events