European collaborative mathematics projects in 2024
In 2024, mathematics will win several European collaborative projects, including the “ERC Synergy Grants 2024” supported by the European Research Council (ERC), as well as a “ Marie Skłodowska-Curie Actions Doctoral Networks ”. This year, 4 projects involve mathematics researchers from Insmi's mixed units and a unit co-supervised with CNRS Sciences Informatiques.
As part of the Horizon Europe framework program for research and innovation, the European Research Council has selected 57 projects with a total budget of 571 million euros. Behind Germany (with 34 projects) and the UK (18 projects), France is a partner in 13 projects, 11 of which involve researchers from mixed units of CNRS and its partners.
MALINCA - Bridging the linguistic gap between the mathematician and the machine
- Philippe de Groote, Inria Research Director at the Laboratoire lorrain de recherche en informatique et ses applications1
- Hugo Herbelin, Inria Research Director at the Institut de Recherche en Informatique Fondamentale2
- Paul-André Mellies, CNRS Research Director, Institut de Recherche en Informatique Fondamentale
- Carlos Simpson, CNRS Research Director, Laboratoire Jean-Alexandre Dieudonné3
Find out more in the article “MALINCA: the project that aims to reduce the linguistic gap between mathematicians and machines”, published by Inria.
PSINumScat - Phase Space Inspired Numerical Methods for High-Frequency Scattering
- Euan Spence, Professor at the University of Bath
- Jeffrey Galkowski, Professor, University College London
- Pierre- Henri Tournier, research ingineer at Laboratoire Jacques Louis Lions4
About the project
The design of fast, reliable algorithms for numerically simulating the behavior of high-frequency acoustic and electromagnetic waves has long been an open problem in applied mathematics. These waves underpin a plethora of communication and imaging technologies, and any progress in solving this problem will have a wide impact in these fields. The Synergy project, whose other sponsors are Euan A. Spence, Professor at the University of Bath, and Jeffrey Galkowski, Professor at University College London, aims to design, analyze and implement in open-source software new methods for the numerical solution of high-frequency acoustic and electromagnetic wave propagation problems. These methods will be faster, more reliable and more widely applicable than current state-of-the-art methods, thanks to the exploitation of techniques from fundamental mathematics specially designed to study high-frequency problems. These techniques originate from the field of semi-classical analysis, and are based on the study of functions in phase space (the combination of physical and frequency space). As numerical analysis and semi-classical analysis of high-frequency wave propagation problems are mature areas of mathematics, it is surprising that these two fields have operated largely in isolation from each other, without any of the in-depth knowledge of high-frequency waves derived from semi-classical analysis having been used in the design of numerical methods for these problems. The project will take advantage of this untapped potential and make the resulting methods available to the scientific community in the FreeFEM open-source software for multi-physics numerical simulation developed at the Jacques-Louis Lions Laboratory.
Discover the portrait of Pierre-Henri Tournier, the French project leader.
Dynamics: Dynamical and Arithmetical Model Checking
- Valérie Berthe, CNRS Research Director at the Institute for Research in Fundamental Computer Science
- Florian Luca, Professor atStellenbosch University and member of the Max Planck Institute for Software Systems, also CNRS Fellow Ambassador 2024
- Joel Ouaknine, Research Director at the Max Planck Institute for Software Systems
But also: the COGENT project: a European collaborative project in mathematics
In addition to these 3 ERC Synergy Grants won by the mathematics community, Institut Fourier mathematics professor Philippe Elbaz Vincent has also been awarded an MSCA Doctoral Network, a collaborative project involving researchers from all over the world.
The COGENT project aims to develop, analyze and apply efficient algorithms in three key areas where computational algebra plays an important role: cohomology, geometry and explicit number theory. Members of the COGENT project will find applications in a wide range of mathematical problems, as well as tackling related topics such as cryptography and quantum computing.