Rupak Majumdar erhält ERC Advanced Grant
Der Wissenschaftliche Direktor des Max-Planck-Instituts für Softwaresysteme (MPI-SWS), Rupak Majumdar, hat einen ERC Advanced Grant in Höhe von rund 2,5 Millionen Euro eingeworben. Das geförderte Projekt mit dem Titel „Pascal: Formal Performance Analysis at Scale“ verfolgt das Ziel, neue mathematische Grundlagen sowie praxistaugliche Werkzeuge zur Analyse und Verifikation der Leistungsfähigkeit und Robustheit großskaliger verteilter Computersysteme zu entwickeln. Die RPTU Kaiserslautern-Landau gratuliert dem international anerkannten Experten, der sich nicht zuletzt als Honorarprofessor im Fachbereich Informatik der Technischen Universität engagiert, zu diesem Erfolg.
Ob Online-Banking, E-Mail-Dienste, Video-Streaming, globale Cloud-Plattformen oder groß angelegte KI-Infrastrukturen – verteilte Systeme auf planetarem Maßstab bilden das Rückgrat zahlreicher gesellschaftlich relevanter Anwendungen. Die kontinuierliche Verfügbarkeit dieser Dienste wird häufig als selbstverständlich vorausgesetzt, obwohl Ausfälle weitreichende Störungen verursachen können. Bislang verfügen Entwicklerinnen und Entwickler jedoch über keine systematischen Methoden, um Leistungs- und Robustheitseigenschaften solcher Systeme zuverlässig auszulegen, zu analysieren oder formal nachzuweisen. Stattdessen werden entsprechende Eigenschaften meist mittels aufwendiger, aber nur begrenzt aussagekräftiger Lasttests untersucht, während Dienstunterbrechungen weiterhin ein erhebliches Problem darstellen.
Das nun von der Europäischen Union geförderte Projekt „Pascal: Formal Performance Analysis at Scale“ adressiert die zentrale Herausforderung, die Leistungsfähigkeit und Resilienz großskaliger verteilter Systeme formal – also mathematisch fundiert – zu beschreiben und zu verifizieren. Langfristiges Ziel ist die Entwicklung von Methoden und Werkzeugen, die Entwicklerinnen und Entwicklern ermöglichen, belastbare Aussagen über die Leistungs- und Robustheitseigenschaften ihrer Systemimplementierungen zu treffen.
Rupak Majumdar ist seit 2010 Wissenschaftlicher Direktor am Max-Planck-Institut für Softwaresysteme (MPI-SWS) und zugleich Honorarprofessor im Fachbereich Informatik der RPTU. Als international anerkannter Experte für Softwareverifikation, formale Methoden und verteilte Systeme prägt er ein zentrales Forschungsprofil der Kaiserslauterer Informatik. Durch seine Tätigkeit am MPI-SWS und seine enge wissenschaftliche Anbindung an die RPTU trägt er wesentlich zur Vernetzung von universitärer und außeruniversitärer Spitzenforschung am Standort bei.
Es handelt sich um die zweite Förderung durch den Europäischen Forschungsrat (ERC), die Rupak Majumdar erhält. Bereits im Jahr 2015 wurde ihm gemeinsam mit Michael Backes, Peter Druschel und Gerhard Weikum ein ERC Synergy Grant für das Projekt „ImPACT: Privacy, Accountability, Compliance, and Trust in Tomorrow’s Internet“ bewilligt. Der ERC Synergy Grant ist das finanziell umfassendste Förderprogramm des Europäischen Forschungsrats.
Quelle: Max-Planck-Institutes für Softwaresysteme