Software systems –
Standorte
Kaiserslautern Saarbrücken
Forschungsspektrum
Ÿ verteilte Systeme
Ÿ eingebettete Systeme
Ÿ mobile Systeme
Ÿ Betriebssysteme
Ÿ Echtzeitsysteme
Ÿ Programmiersprachen
Ÿ Sicherheit und Privatsphäre
Ÿ Soziale Netzwerke
Ÿ Verifizierung
Ÿ 32
dynamische Systeme
your world on bits
www.mpi-sws.org