Max-Planck-Institut für Softwaresysteme - Max Planck Institute for Software Systems

Max-Planck-Institut für Softwaresysteme
Mpi-sws-logo.png
Logo des Instituts
Abkürzung MPI-SWS
Formation 2004 ; Vor 17 Jahren ( 2004 )
Art Forschungsinstitut
Hauptquartier Saarbrücken , Kaiserslautern , Deutschland
Webseite www .mpi-sws .org

Das Max-Planck-Institut für Softwaresysteme (MPI-SWS) ist ein Forschungsinstitut der Informatik mit Sitz in Saarbrücken und Kaiserslautern , Deutschland . Das Institut hat den Auftrag, Grundlagenforschung in allen Bereichen des Entwurfs, der Analyse, der Modellierung, der Implementierung und der Evaluierung komplexer Softwaresysteme zu betreiben. Besondere Interessengebiete sind Programmiersysteme, verteilte und vernetzte Systeme , eingebettete und autonome Systeme sowie Querschnittsaspekte wie formale Modellierung und Analyse von Softwaresystemen, Sicherheit, Zuverlässigkeit und Softwareentwicklung. Es schließt sich über 80 weiteren Instituten der Max-Planck-Gesellschaft an , die Grundlagenforschung von Weltrang in Medizin, Biologie, Chemie, Physik, Technik und Geisteswissenschaften betreiben.

Einer der beiden Standorte des Max-Planck-Instituts für Softwaresysteme befindet sich auf dem Saarland Informatics Campus, der wiederum auf dem Campus der Universität des Saarlandes basiert , einem Cluster von Forschungsinstituten im Bereich Informatik und Informatik. In unmittelbarer Nähe zum Standort Saarbrücken befindet sich das MPI für Informatik (MPII), für das das Institut eng zusammenarbeitet und zentrale IT- und Verwaltungsdienste teilt. Die andere Basis des Instituts befindet sich auf dem Campus der TU Kaiserslautern und arbeitet in Kooperation mit dem Fachbereich Informatik und den Fraunhofer-Instituten für Experimentelles Software Engineering und für Wirtschaftsmathematik .

Forschungsschule

Die International Max Planck Research School for Computer Science (IMPRS-CS) war die Graduiertenschule des MPI-SWS und des MPII. Es war zwischen 2000 und 2019 in Betrieb und bot ein vollständig finanziertes PhD-Programm (in Kooperation mit der Universität des Saarlandes ) an. Dekan ist Prof. Dr. Gerhard Weikum . Ihm folgte die International Max Planck Research School on Trustworthy Computing (in Kooperation mit dem Fachbereich Informatik der Universität des Saarlandes und dem Fachbereich Informatik der TU Kaiserslautern).

Organisation

Das Institut wurde im November 2004 gegründet und ist seitdem aktiv bestrebt, seinen Forscherstamm zu erweitern. Zusammengefasst an beiden Standorten verfügt das Institut über eine Gesamtkapazität von 5 Direktoren, 12 Tenure-Track- bzw. Tenured-Fakultäten sowie ca. 100 Postdocs und Doktoranden.

Derzeit besteht das Institut aus folgenden Direktoren:

  • Peter Druschel , Leiter der Gruppe Verteilte Systeme und Betriebssysteme.
  • Paul Francis, Leiter der Large Scale Internet Systems Group.
  • Krishna Gummadi, Leiterin der Networked Systems Group.
  • Rupak Majumdar, Leiter der Rigorous Software Engineering Group.
  • Joël Ouaknine, Leiter der Foundations of Algorithmic Verification Group.

und die folgenden Lehrkräfte mit fester oder unbefristeter Amtszeit:

  • Björn Brandenburg, Leiter der Gruppe Echtzeitsysteme.
  • Maria Christakis, Leiterin der Gruppe Praktische Formale Methoden.
  • Eva Darulova.
  • Derek Dreyer, Leiter der Foundations of Programming Group.
  • Deepak Garg, Leiter der Foundations of Computer Security Group.
  • Keon Jang.
  • Jonathan Mace.
  • Manuel Gomez Rodriguez, Leiter der Gruppe Lernen in Netzwerken.
  • Adis Singla.
  • Viktor Vafeiadis, Leiter der Gruppe Softwareanalyse und Verifikation.
  • Georg Zetzsche.

Siehe auch

Anmerkungen

Externe Links