Max-Planck-Institut für Softwaresysteme

Max-Planck-Institut für Softwaresysteme  

Computer-Systeme durchdringen unser tägliches Leben. Neben klassischer Datenverarbeitung oder Internetanwendungen befinden sich ausgeklügelte Softwaresysteme in fast allen technischen Geräten, vom Handy bis zur Verkehrsampel. Sie unterstützen beispielsweise den Betrieb von Banken, Kliniken, Hochschulen und Behörden. Das Max-Planck-Institut für Softwaresysteme an den Standorten Kaiserslautern und 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.