{"id":27176,"date":"2026-06-23T10:41:31","date_gmt":"2026-06-23T08:41:31","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&#038;p=27176"},"modified":"2026-06-24T17:05:07","modified_gmt":"2026-06-24T15:05:07","slug":"rupak-majumdar-awarded-erc-advanced-grant","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/","title":{"rendered":"Rupak Majumdar awarded ERC Advanced Grant"},"content":{"rendered":"<p><strong>MPI-SWS Scientific Director Rupak Majumdar <\/strong><strong>has been awarded an ERC Advanced Grant worth approximately \u20ac<\/strong><strong>2.5 million for his project \u201ePascal: Formal Performance Analysis at Scale\u201c. The project aims to develop new mathematical foundations and practical tools for analyzing and verifying the performance and resilience of large-scale distributed computer systems.<\/strong><\/p>\n<p>Whether it is online banking, email, video streaming, global cloud platforms, or large-scale AI infrastructures \u2013 planetary-scale distributed systems form the backbone of many societal-scale applications. We take for granted the continuous availability of these services, even though outages can cause widespread disruption. Yet today, developers do not have principled approaches to provision, analyze, or prove performance or resilience properties of such systems.\u00a0Currently, developers test for such properties using expensive but inadequate workload testing, and availability outages continue to be a problem for users.<\/p>\n<p>The now EU-funded project &#8220;Pascal: Formal Performance Analysis at Scale&#8221; addresses the major challenge of formally reasoning about (that is, mathematically describing and verifying) the performance and resilience of large-scale distributed systems. Its ultimate goal is to develop methodologies and tools that system developers can use to reason about implementations of their systems.<\/p>\n<p>Rupak Majumdar has been a Scientific Director at the Max Planck Institute for Software Systems since 2010 and an Honorary Professor in the Department of Computer Science at the Rhineland-Palatinate University of Technology Kaiserslautern-Landau (RPTU). This is the second ERC grant he has received. In 2015, together with Michael Backes, Peter Druschel, and Gerhard Weikum, he was awarded an ERC Synergy Grant for the project <em>ImPACT: Privacy, Accountability, Compliance, and Trust in Tomorrow\u2019s Internet<\/em>. The ERC Synergy Grant is the European Research Council\u2019s most highly funded grant scheme.<\/p>\n<p><a href=\"https:\/\/erc.europa.eu\/news-events\/news\/erc-2025-advanced-grants-results\"><strong>More info from the ERC.<\/strong><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>MPI-SWS Scientific Director Rupak Majumdar has been awarded an ERC Advanced Grant worth approximately &euro;2.5 million for his project &bdquo;Pascal: Formal Performance Analysis at Scale&ldquo;. The project aims to develop new mathematical foundations and practical tools for analyzing and verifying the performance and resilience of large-scale distributed computer systems. Whether it is online banking, email, [&hellip;]<\/p>\n","protected":false},"featured_media":917,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[83,110,57,59],"class_list":["post-27176","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-feedreader","sic_news-types-feedreader-en","sic_news-types-mpi-sws-en","sic_news-types-press-release-en"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.9 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Rupak Majumdar awarded ERC Advanced Grant - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Rupak Majumdar awarded ERC Advanced Grant - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"MPI-SWS Scientific Director Rupak Majumdar has been awarded an ERC Advanced Grant worth approximately &euro;2.5 million for his project &bdquo;Pascal: Formal Performance Analysis at Scale&ldquo;. The project aims to develop new mathematical foundations and practical tools for analyzing and verifying the performance and resilience of large-scale distributed computer systems. Whether it is online banking, email, [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"article:modified_time\" content=\"2026-06-24T15:05:07+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1000\" \/>\n\t<meta property=\"og:image:height\" content=\"563\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/rupak-majumdar-awarded-erc-advanced-grant\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/rupak-majumdar-awarded-erc-advanced-grant\\\/\",\"name\":\"Rupak Majumdar awarded ERC Advanced Grant - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/rupak-majumdar-awarded-erc-advanced-grant\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/rupak-majumdar-awarded-erc-advanced-grant\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\",\"datePublished\":\"2026-06-23T08:41:31+00:00\",\"dateModified\":\"2026-06-24T15:05:07+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/rupak-majumdar-awarded-erc-advanced-grant\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/rupak-majumdar-awarded-erc-advanced-grant\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/rupak-majumdar-awarded-erc-advanced-grant\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/mpi_sws_logo.fa6ef972-2-e1777042227217.png\",\"width\":1000,\"height\":563},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/rupak-majumdar-awarded-erc-advanced-grant\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Rupak Majumdar awarded ERC Advanced Grant\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Rupak Majumdar awarded ERC Advanced Grant - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/","og_locale":"en_US","og_type":"article","og_title":"Rupak Majumdar awarded ERC Advanced Grant - Saarland Informatics Campus","og_description":"MPI-SWS Scientific Director Rupak Majumdar has been awarded an ERC Advanced Grant worth approximately &euro;2.5 million for his project &bdquo;Pascal: Formal Performance Analysis at Scale&ldquo;. The project aims to develop new mathematical foundations and practical tools for analyzing and verifying the performance and resilience of large-scale distributed computer systems. Whether it is online banking, email, [&hellip;]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2026-06-24T15:05:07+00:00","og_image":[{"width":1000,"height":563,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/","name":"Rupak Majumdar awarded ERC Advanced Grant - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","datePublished":"2026-06-23T08:41:31+00:00","dateModified":"2026-06-24T15:05:07+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/mpi_sws_logo.fa6ef972-2-e1777042227217.png","width":1000,"height":563},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/rupak-majumdar-awarded-erc-advanced-grant\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"Rupak Majumdar awarded ERC Advanced Grant"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/27176","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/917"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=27176"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=27176"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}