Broschüre - Stadt Kaiserslautern

Das Max-Planck-Institut
für Softwaresysteme
Das Max-Planck-Institut für Softwaresysteme befasst sich auftragsgemäß
mit der Grundlagenforschung und verfolgt Problemansätze,
die mit hohem Risiko behaftet sind, aber im Erfolgsfall einen hohen
Gewinn für die Gesellschaft erwarten lassen. Das Arbeitsgebiet
umfasst den Entwurf,die Analyse, Modellierung, Anwendung und
die empirische Evaluierung komplexer Softwaresysteme. Die
Schwerpunkte liegen auf den Programmierungssystemen, verteilten,
vernetzten, eingebetteten und autonomen Systemen, sowie
Querschnittsthemen wie der Verifikation, Sicherheit, Zuverlässigkeit
und Benutzbarkeit von Softwaresystemen.
Das MPI-SWS wurde im November 2004 gegründet und öffnete dann im
August 2005 seine Türen. Das Institut hat Standorte in Kaiserslautern und
Saarbrücken. Als akademische Einrichtung widmet sich das Institut der langfristigen
Grundlagenforschung und strebt in erster Linie nach Ergebnissen in
Form von Veröffentlichungen, Kooperationen, prototypischer Software und
wissenschaftlicher Nachwuchsarbeit. Das Institut zieht herausragende Forscher
aus der ganzen Welt an, womit der Pool von talentierten Wissenschaftlern
in Deutschland und Europa erweitert wird.
Das MPI-SWS hat derzeit 3 Direktoren, 5 Nachwuchsgruppenleiter und einen
Max Planck Fellow. Insgesamt soll das MPI-SWS auf 17 Nachwuchsgruppenleiter
aufgestockt werden. Das MPI-SWS hat ein sehr internationales Profil, mit
Universitätslehrkräften aus den USA, Deutschland, Indien, Türkei und Portugal.
Derzeit führen die Lehrkräfte des MPI-SWS Forschungen in den folgenden
Bereichen durch: zuverlässige Systeme, verteilte Systeme und Betriebssysteme,
Informationssicherheit und Kryptographie, vernetzte Systeme, Typsysteme und
funktionale Programmierung, rigorose Softwaretechnik, Programmiersprachen
und -systeme und Internetsysteme mit großem Ausmaß. Mit der Einstellung
zusätzlicher Wissenschaftler im MPI-SWS werden weitere Forschungsthemen
im Bereich Softwaresysteme hinzukommen.
Forschungsbereiche
Zuverlässige Systeme: Diese von Rodrigo Rodrigues geleitete Gruppe konzentriert
sich auf den Aufbau verlässlicher, hochverfügbarer Softwaresysteme
durch die Verbesserung der für den Aufbau solcher Systeme verwendeten
Methoden.
Verteilte Systeme und Betriebssysteme: Diese von Peter Druschel geleitete
Gruppe führt Forschungen zum Design, der Umsetzung und der Beurteilung
von Computersystemen durch.
Informationssicherheit und Kryptographie: Diese von Michael Backes geleitete
Gruppe forscht im Bereich der theoretischen Grundlagen und Anwendungsaspekte
von Informationssicherheit und Kryptographie.
Internetsysteme mit großem Ausmaß: Diese von Paul Francis geleitete Gruppe
befasst sich mit Problemen in Verbindung mit Internet-Routing und -Adressierung,
Overlay-Netzwerken, Internetsicherheit und Cloud Computing.
Vernetzte Systeme: Diese von Krishna Gummadi geleitete Gruppe führt Forschungen
zu sowohl experimentellen als auch theoretischen Aspekten des
Designs vernetzter Systeme durch.
Programmiersprachen und -systeme: Diese von Umut Acar geleitete Gruppe
untersucht die Grundlagen, das Design und die Umsetzung von Programmiersprachen
und -systemen.
Rigorose Softwaretechnik: Diese von Rupak Majumdar geleitete Gruppe konzentriert
sich auf Algorithmen, Tools und Methodik für den Aufbau komplexer
jedoch verlässlicher Softwaresysteme.
Typsysteme und funktionale Programmierung: Diese von Derek Dreyer geleitete
Gruppe erforscht sowohl die theoretischen als auch praktischen Aspekte
des Designs moderner Programmiersprachen, mit einem Hauptschwerpunkt
auf Typsystemen und der funktionalen Programmierung.
Max-Planck-Institut für Softwaresysteme, Standort Kaiserslautern
Kontakt
Max Planck Institute for Software Systems
(MPI-SWS)
In Kaiserslautern:
Gottlieb-Daimler-Straße Building 49
D-67633 Kaiserslautern
Tel.: +49 (0)631 / 9303-9600
Fax: +49 (0)631 / 9303-6019
In Saarbrücken:
Wartburg, Martin-Luther-Straße 12
D-66111 Saarbrücken
Tel.: +49 (0)681 / 9303-9100
Fax: +49 (0)681 / 9303-9199
www.mpi-sws.org
Institutsleitung alternierend:
Prof. Dr. Peter Druschel, Prof. Dr. Paul
Francis, Prof. Dr. Rupak Majumdar
Unsere Forschungsschwerpunkte
• Zuverlässige Systeme
• Verteilte Systeme und Betriebssysteme
• Informationssicherheit und Kryptographie
• Internetsysteme mit großem Ausmaß
• Vernetzte Systeme
• Programmiersprachen und -systeme
• Rigorose Softwaretechnik
• Typsysteme und funktionale Programmierung
www.mpi-sws.org