MPI für Softwaresysteme, Saarbrücken https://www.mpg.de/155640/softwaresysteme-saarbruecken?filter=yearbook
Das Max-Planck-Institut für Softwaresysteme (Standort Saarbrücken) betreibt Grundlagenforschung, die sich unter anderem dem Sprachdesign, der Analyse, der Modellierung, Einführung und Auswertung von Softwaresystemen widmet. Spezielle Interessensgebiete umfassen die System-Programmierung, den Vergleich von dezentralen und Netzwerksystemen, von eingebetteten und autonomen Systemen ebenso wie Aspekte der formalen Modellierung, Analyse, Sicherheit und Stabilität von modernster Softwaretechnik.
Max-Planck holt zwölf Synergy Grants und liegt damit im ERC-Ranking auf Platz eins