{"id":21929,"date":"2024-11-12T12:14:40","date_gmt":"2024-11-12T11:14:40","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/"},"modified":"2024-11-15T14:22:37","modified_gmt":"2024-11-15T13:22:37","slug":"7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/","title":{"rendered":"7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science"},"content":{"rendered":"

So-called \u2018<\/span>discrete dynamical systems<\/span>\u2019 form the basis for key computational challenges in a variety of fields, from program analysis and computer-aided verification to artificial intelligence and theoretical biology. <\/span>Creating algorithmic solutions to make these systems <\/span>amenable to<\/span> automated verification t<\/span>echniques<\/span> remains<\/span> a <\/span>major <\/span>challenge<\/span>. Researchers at the Max Planck Institute for Software Systems in Saarbr\u00fccken and the French \u2018Centre National de la Recherche <\/span>Scientifique<\/span>\u2019 are now working on advancing this automated verification<\/span> approach <\/span>with substantial funding<\/span> by the European Research Council.<\/span><\/span><\/strong><\/p>\n

The interdisciplinary project, titled \u2018Dynamical and Arithmetical Model Checking (DynAMiCs)\u2019, is led by the three principal investigators\u2014Professor Jo\u00ebl Ouaknine, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbr\u00fccken; Professor Florian Luca, also MPI-SWS and Stellenbosch University in South Africa; and Professor Val\u00e9rie Berth\u00e9 from the French \u2018Institut de recherche en informatique fondamentale\u2019 at the \u2018Centre National de la Recherche Scientifique (CNRS)\u2019 at the University Paris Cit\u00e9.<\/span>\u00a0<\/span>\u00a0<\/span><\/p>\n

\u201cThe paradigm of \u2018model checking\u2019 is a powerful method that allows us to automatically verify, with mathematical certainty, whether a system behaves as intended\u201d says Prof. Jo\u00ebl Ouaknine. However, many discrete dynamical systems\u2014systems that change over time following specific rules\u2014cannot currently be verified with the available model-checking approaches.<\/span>\u00a0<\/span><\/p>\n

One of the leading objectives of this new research project is thus to substantially broaden the classes of dynamical systems and properties that can be algorithmically handled via model checking. Specifically, it aims to tackle longstanding mathematical challenges, such as the Skolem Problem, that could lead to breakthroughs in understanding and verifying the behavior of other complex systems.<\/span>\u00a0<\/span><\/p>\n

The Skolem Problem asks if, within a system following specific mathematical rules, a certain state will eventually be reached. Translated to other instances, this question could ask if a computer program will terminate under specific conditions, when an electric vehicle\u2019s battery will fully deplete following a specific driving pattern, or if a manufacturing robot will reach a precise target after following programmed movements. Although seemingly simple, this mathematical problem has remained unsolved and has puzzled mathematicians and computer scientists alike for nearly a century.\u00a0<\/span>\u00a0<\/span><\/p>\n

Besides the Skolem Problem, the project also addresses additional longstanding mathematical challenges such as the Pisot Conjecture, piecewise-affine map reachability, and the Periodicity Conjecture. Addressing these complex problems demands innovative approaches that integrate insights from multiple areas of mathematics and computer science. \u201cThis funding allows us to leverage the interdisciplinary synergies between different fields, bringing together expertise that might not otherwise have come together,\u201d says Florian Luca. The DynAMiCs project unites expertise in algorithmic verification led by Prof. Jo\u00ebl Ouaknine, symbolic dynamics under Prof. Val\u00e9rie Berth\u00e9, and analytic number theory led by Prof. Florian Luca.<\/span>\u00a0<\/span><\/p>\n

The project is funded via a European Research Council (ERC) Synergy Grant totaling 7.5 million euros over six years, with 5 million euros allocated to MPI-SWS. ERC Grants are among the most prestigious research awards globally, with Synergy Grants being especially competitive and offering the highest funding levels. In the current funding round, 548 proposals were submitted, of which only 57 were approved.<\/span>\u00a0<\/span><\/p>\n

\u00a0<\/span><\/p>\n

Further Information:<\/span>\u00a0<\/span>\u00a0<\/span><\/p>\n

Press Release by the European Research Council: <\/span>https:\/\/erc.europa.eu\/news-events\/news\/erc-2024-synergy-grants-results<\/span><\/a>
\n<\/span>List of Selected Projects: <\/span>https:\/\/erc.europa.eu\/sites\/default\/files\/2024-11\/erc-2024-syg-results-all-domains.pdf<\/span><\/a>
\n<\/span>Press release by the Max Planck Society: <\/span>https:\/\/www.mpg.de\/23705837\/erc-synergy-grants-2024<\/span><\/a>\u00a0<\/span><\/p>\n

\u00a0<\/span><\/p>\n

\u00a0<\/span><\/p>\n

Scientific Contact:<\/span>\u00a0<\/span>\u00a0<\/span><\/p>\n

Professor Jo\u00ebl Ouaknine, PhD<\/span>
\n<\/span>Scientific Director at MPI SWS and Coordinating Principal Investigator of <\/span>DynAMiCs<\/span><\/i>
\n<\/span>Max Planck Institute for Software Systems, Saarbr\u00fccken<\/span>
\n<\/span>Tel: +49 (0)681 9303 9701<\/span>
\n<\/span>E-Mail: <\/span>joel@mpi-sws.org<\/span><\/a>\u00a0<\/span><\/p>\n

\u00a0<\/span>\u00a0<\/span><\/p>\n

Editor:<\/span>\u00a0<\/span><\/p>\n

Philipp Zapf-Schramm<\/span>
\n<\/span>Max Planck Institute for Informatics<\/span>
\n<\/span>Tel: +49 681 9325 5409<\/span>
\n<\/span>E-Mail: <\/span>pzs@mpi-inf.mpg.de<\/span><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

So-called ‘discrete dynamical systems’ form the basis for key computational challenges in a variety of fields, from program analysis and computer-aided verification to artificial intelligence and theoretical biology. Creating algorithmic solutions to make these systems amenable to automated verification techniques remains a major challenge. Researchers at the Max Planck Institute for Software Systems in Saarbrücken […]<\/p>\n","protected":false},"featured_media":21953,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"So-called \u2018<\/span>discrete dynamical systems<\/span>\u2019 form the basis for key computational challenges in a variety of fields, from program analysis and computer-aided verification to artificial intelligence and theoretical biology. <\/span>Creating algorithmic solutions to make these systems <\/span>amenable to<\/span> automated verification t<\/span>echniques<\/span> remains<\/span> a <\/span>major <\/span>challenge<\/span>. Researchers at the Max Planck Institute for Software Systems in Saarbr\u00fccken and the French \u2018Centre National de la Recherche <\/span>Scientifique<\/span>\u2019 are now working on advancing this automated verification<\/span> approach <\/span>with substantial funding<\/span> by the European Research Council.<\/span><\/span><\/strong>\r\n\r\nThe interdisciplinary project, titled \u2018Dynamical and Arithmetical Model Checking (DynAMiCs)\u2019, is led by the three principal investigators\u2014Professor Jo\u00ebl Ouaknine, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbr\u00fccken; Professor Florian Luca, also MPI-SWS and Stellenbosch University in South Africa; and Professor Val\u00e9rie Berth\u00e9 from the French \u2018Institut de recherche en informatique fondamentale\u2019 at the \u2018Centre National de la Recherche Scientifique (CNRS)\u2019 at the University Paris Cit\u00e9.<\/span>\u00a0<\/span>\u00a0<\/span>\r\n\r\n\u201cThe paradigm of \u2018model checking\u2019 is a powerful method that allows us to automatically verify, with mathematical certainty, whether a system behaves as intended\u201d says Prof. Jo\u00ebl Ouaknine. However, many discrete dynamical systems\u2014systems that change over time following specific rules\u2014cannot currently be verified with the available model-checking approaches.<\/span>\u00a0<\/span>\r\n\r\nOne of the leading objectives of this new research project is thus to substantially broaden the classes of dynamical systems and properties that can be algorithmically handled via model checking. Specifically, it aims to tackle longstanding mathematical challenges, such as the Skolem Problem, that could lead to breakthroughs in understanding and verifying the behavior of other complex systems.<\/span>\u00a0<\/span>\r\n\r\nThe Skolem Problem asks if, within a system following specific mathematical rules, a certain state will eventually be reached. Translated to other instances, this question could ask if a computer program will terminate under specific conditions, when an electric vehicle\u2019s battery will fully deplete following a specific driving pattern, or if a manufacturing robot will reach a precise target after following programmed movements. Although seemingly simple, this mathematical problem has remained unsolved and has puzzled mathematicians and computer scientists alike for nearly a century.\u00a0<\/span>\u00a0<\/span>\r\n\r\nBesides the Skolem Problem, the project also addresses additional longstanding mathematical challenges such as the Pisot Conjecture, piecewise-affine map reachability, and the Periodicity Conjecture. Addressing these complex problems demands innovative approaches that integrate insights from multiple areas of mathematics and computer science. \u201cThis funding allows us to leverage the interdisciplinary synergies between different fields, bringing together expertise that might not otherwise have come together,\u201d says Florian Luca. The DynAMiCs project unites expertise in algorithmic verification led by Prof. Jo\u00ebl Ouaknine, symbolic dynamics under Prof. Val\u00e9rie Berth\u00e9, and analytic number theory led by Prof. Florian Luca.<\/span>\u00a0<\/span>\r\n\r\nThe project is funded via a European Research Council (ERC) Synergy Grant totaling 7.5 million euros over six years, with 5 million euros allocated to MPI-SWS. ERC Grants are among the most prestigious research awards globally, with Synergy Grants being especially competitive and offering the highest funding levels. In the current funding round, 548 proposals were submitted, of which only 57 were approved.<\/span>\u00a0<\/span>\r\n

\u00a0<\/span><\/p>\r\n

Further Information:<\/span>\u00a0<\/span>\u00a0<\/span><\/p>\r\nPress Release by the European Research Council: <\/span>https:\/\/erc.europa.eu\/news-events\/news\/erc-2024-synergy-grants-results<\/span><\/a>\r\n<\/span>List of Selected Projects: <\/span>https:\/\/erc.europa.eu\/sites\/default\/files\/2024-11\/erc-2024-syg-results-all-domains.pdf<\/span><\/a>\r\n<\/span>Press release by the Max Planck Society: <\/span>https:\/\/www.mpg.de\/23705837\/erc-synergy-grants-2024<\/span><\/a>\u00a0<\/span>\r\n

\u00a0<\/span><\/p>\r\n\u00a0<\/span>\r\n

Scientific Contact:<\/span>\u00a0<\/span>\u00a0<\/span><\/p>\r\nProfessor Jo\u00ebl Ouaknine, PhD<\/span>\r\n<\/span>Scientific Director at MPI SWS and Coordinating Principal Investigator of <\/span>DynAMiCs<\/span><\/i>\r\n<\/span>Max Planck Institute for Software Systems, Saarbr\u00fccken<\/span>\r\n<\/span>Tel: +49 (0)681 9303 9701<\/span>\r\n<\/span>E-Mail: <\/span>joel@mpi-sws.org<\/span><\/a>\u00a0<\/span>\r\n\r\n\u00a0<\/span>\u00a0<\/span>\r\n

Editor:<\/span>\u00a0<\/span><\/p>\r\nPhilipp Zapf-Schramm<\/span>\r\n<\/span>Max Planck Institute for Informatics<\/span>\r\n<\/span>Tel: +49 681 9325 5409<\/span>\r\n<\/span>E-Mail: <\/span>pzs@mpi-inf.mpg.de<\/span><\/a>\u00a0<\/span>","_et_gb_content_width":""},"sic_news-types":[57],"class_list":["post-21929","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-mpi-sws-en"],"yoast_head":"\n7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science - 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\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"So-called ‘discrete dynamical systems’ form the basis for key computational challenges in a variety of fields, from program analysis and computer-aided verification to artificial intelligence and theoretical biology. Creating algorithmic solutions to make these systems amenable to automated verification techniques remains a major challenge. Researchers at the Max Planck Institute for Software Systems in Saarbrücken […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/\" \/>\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=\"2024-11-15T13:22:37+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Synergy-Grant-image.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1080\" \/>\n\t<meta property=\"og:image:height\" content=\"608\" \/>\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=\"3 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\\\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\\\/\",\"name\":\"7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Synergy-Grant-image.png\",\"datePublished\":\"2024-11-12T11:14:40+00:00\",\"dateModified\":\"2024-11-15T13:22:37+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Synergy-Grant-image.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Synergy-Grant-image.png\",\"width\":1080,\"height\":608,\"caption\":\"Professor Jo\u00ebl Ouaknine, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbr\u00fccken; Professor Florian Luca, also MPI-SWS and Stellenbosch University in South Africa\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\\\/#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\":\"7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science\"}]},{\"@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":"7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science - 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\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/","og_locale":"en_US","og_type":"article","og_title":"7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science - Saarland Informatics Campus","og_description":"So-called ‘discrete dynamical systems’ form the basis for key computational challenges in a variety of fields, from program analysis and computer-aided verification to artificial intelligence and theoretical biology. Creating algorithmic solutions to make these systems amenable to automated verification techniques remains a major challenge. Researchers at the Max Planck Institute for Software Systems in Saarbrücken […]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2024-11-15T13:22:37+00:00","og_image":[{"width":1080,"height":608,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Synergy-Grant-image.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/","name":"7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Synergy-Grant-image.png","datePublished":"2024-11-12T11:14:40+00:00","dateModified":"2024-11-15T13:22:37+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Synergy-Grant-image.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Synergy-Grant-image.png","width":1080,"height":608,"caption":"Professor Jo\u00ebl Ouaknine, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbr\u00fccken; Professor Florian Luca, also MPI-SWS and Stellenbosch University in South Africa"},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/7-5-million-euro-erc-grant-awarded-to-research-combining-mathematics-and-theoretical-computer-science\/#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":"7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science"}]},{"@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\/21929","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\/21953"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=21929"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=21929"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}