
Rupak Majumdar, wissenschaftlicher Direktor am MPI-SWS, hat für sein Projekt „Pascal: Formal Performance Analysis at Scale“ einen ERC Advanced Grant in Höhe von rund 2,5 Millionen Euro erhalten. Ziel des Projekts ist es, neue mathematische Grundlagen und praktische Werkzeuge zur Analyse und Verifizierung der Leistung und Ausfallsicherheit groß angelegter verteilter…