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.

Derek Dreyer receives Robin Milner Young Researcher Award

for outstanding contributions in the area of programming languages

News

Aastha Mehta invited to attend Rising Stars Workshop

September 26, 2018
MPI-SWS Ph.D. student Aastha Mehta is one of only three students from a European university selected to attend the Rising Stars Workshop, which will be held at MIT in October 2018.

MPI-SWS and MPI-INF jointly participated in the 2018 Girls' Day

June 7, 2018
We welcomed 14 school-aged girls to our institute, and showed them what computer science research is all about.

Research Spotlight: From Newton to Turing to cyber-physical systems

February 13, 2018
MPI-SWS researchers are investigating what classes of infinite-state programs can be analyzed algorithmically by viewing computer programs abstractly as dynamical systems.

POPLpalooza: Five MPI-SWS papers at POPL 2018 + a new record!

January 18, 2018
In 2018, MPI-SWS researchers authored a total of five POPL papers. Also, MPI-SWS faculty member Derek Dreyer has achieved a new record: a 10-year streak of having at least one POPL paper each year.

Two MPI-SWS faculty awarded DFG grants

December 14, 2017
MPI-SWS faculty members Björn Brandenburg and Eva Darulova have each received a 3-year research grant from the DFG, the German Research Organization.

Events