Rupak Majumdar, Wissenschaftlicher Direktor des Max-Planck-Instituts für Softwaresysteme (MPI-SWS), hat kürzlich einen ERC Advanced Grant in Höhe von rund 2,5 Millionen Euro erhalten. Dies verkündet RPTU. Die Finanzierung ist für das Projekt „Pascal: Formal Performance Analysis at Scale“ vorgesehen, dessen Ziel es ist, neue mathematische Grundlagen und praxistaugliche Werkzeuge zur Analyse und Verifikation der Leistungsfähigkeit und Robustheit großskaliger verteilter Computersysteme zu entwickeln.

Verteilte Systeme sind von entscheidender Bedeutung für viele alltägliche Anwendungen, darunter Online-Banking, E-Mail-Dienste, Video-Streaming, Cloud-Plattformen und KI-Infrastrukturen. Dennoch mangelt es derzeit an systematischen Methoden zur zuverlässigen Analyse oder zum formalen Nachweis der Leistungs- und Robustheitseigenschaften solcher Systeme. Die gegenwärtigen Ansätze stützen sich oft auf aufwendige Lasttests, deren Aussagekraft stark eingeschränkt ist.

Ziele des Projekts „Pascal“

Das Projekt „Pascal“ strebt an, die Leistungsfähigkeit und Resilienz großskaliger verteilter Systeme formal zu beschreiben und zu verifizieren. Langfristig sollen Methoden und Werkzeuge entwickelt werden, die es Entwicklern ermöglichen, belastbare Aussagen über Systemimplementierungen zu machen. Diese Entwicklung ist besonders wichtig, um die Sicherheit und Effizienz moderner IT-Infrastrukturen zu gewährleisten.

Majumdar, der seit 2010 am MPI-SWS tätig ist und auch als Honorarprofessor im Fachbereich Informatik der RPTU fungiert, gilt als international anerkannter Experte für Softwareverifikation, formale Methoden und verteilte Systeme. Dies ist bereits die zweite Förderung durch den Europäischen Forschungsrat (ERC) für Majumdar; 2015 erhielt er einen ERC Synergy Grant für das Projekt „ImPACT: Privacy, Accountability, Compliance, and Trust in Tomorrow’s Internet“.

Die Errungenschaften von Majumdar unterstreichen die fortschrittliche Forschung im Bereich der Softwareverifikation und die Relevanz solcher Projekte für die zukünftige Entwicklung stabiler und sicherer Computersysteme. Durch die Förderung wird nicht nur Majumdars Forschung unterstützt, sondern auch das Potenzial neuer Technologien in einem zunehmend vernetzten und digitalisierten Umfeld entfaltet.

Werbung
Hier könnte Ihr Advertorial stehen
Ein Advertorial bietet Unternehmen die Möglichkeit, ihre Botschaft direkt im redaktionellen Umfeld zu platzieren