MPI für Softwaresysteme, Saarbrücken | Max-Planck-Gesellschaft https://www.mpg.de/155640/softwaresysteme-saarbruecken?filter=mpi_news
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.
Mai 2022 Künstliche Intelligenz Die Kooperation stärkt