COGENT : former une nouvelle génération de mathématiciens

Recherche
COGENT a pour objectif de former une nouvelle génération de jeunes chercheurs et chercheuses dotées d'une expertise unique, y compris pour les calculs à haute performance en géométrie et topologie, l'assistance à la preuve et les mathématiques formalisées, l'apprentissage automatique et les techniques de calcul quantique.
Thématiques :
Mathématiques.

Objectifs

Le projet COGENT (pour Cohomologie, géométrie, théorie explicite des nombres) a pour objectif de faire progresser l'état de l'art dans un domaine actif d'interaction entre l'algèbre, la géométrie et l'informatique. Il vise à promouvoir des approches innovantes en matière de méthodes effectives sous-tendant des conjectures de longue date en théorie des nombres. COGENT élargira les connaissances théoriques visant à étendre le champ des calculs symboliques et exacts assistés par ordinateur, en vue d'applications industrielles potentielles dans des domaines disparates allant de la cryptographie à l'analyse topologiques de données.

Le principal objectif de formation du projet est de former une nouvelle génération de jeunes chercheurs et chercheuses dotées d'une expertise unique, y compris les calculs à haute performance en géométrie et topologie, l'assistance à la preuve et les mathématiques formalisées, l'apprentissage automatique et les techniques de calcul quantique.

Axes scientifiques

Le projet COGENT cherche à résoudre plusieurs défis majeurs à la frontière des mathématiques et de l'informatique. Son objectif est de mieux comprendre des structures mathématiques complexes, comme les groupes arithmétiques et la K-théorie, en inventant de nouvelles méthodes capables de dépasser les limites actuelles des ordinateurs. En testant des théories fondamentales comme le programme de Langlands et en utilisant la vérification informatique pour garantir des preuves sans erreur, ce projet pave aussi la voie à de nouvelles applications concrètes, notamment pour sécuriser les données en cryptographie.

Le projet en bref

Porteur / Pilote Université Grenoble Alpes
Partenaires / Membres du consortium
  • Stichting Vrije Universiteit Amsterdam (VUA)
  • Technische Universität Braunschweig (TUB)
  • Université de Bordeaux (UBx)
  • University of Galway
  • University of Durham
  • University of Sheffield (UFSD)
  • Colorado State University (CSU)
  • University of Massachusetts (UMASS)
  • University of Michigan
  • University of North Carolina-Greensboro (UNCG)
  • University of Oklahoma
  • ID Quantique (IDQ, Switzerland)
  • MSM Programming (Croatia)
Financeurs Le programme Horizon Europe de l'Union européenne dans le cadre de la convention de subvention n°101169527 & UK Research and Innovation (UKRI)
Opérateur
Montant du financement 3 millions d'euros
Durée du projet 4 ans
Date de lancement 17 janvier 2025
 
Plus d'informations sur le site web de COGENT
 

Ce projet a été financé par le programme Horizon Europe de l'Union européenne dans le cadre de la convention de subvention n°101169527. Les points de vue et opinions exprimés sont toutefois ceux des auteurs et ne reflètent pas nécessairement ceux de l'Union européenne ou de l'Agence exécutive européenne pour la santé et le numérique. Ni l'Union européenne ni l'Agence exécutive européenne pour la santé et le numérique ne peuvent en être tenues pour responsables. Le projet est également financé par UK Research and Innovation (UKRI), un organisme public non ministériel parrainé par le ministère de la science, de l'innovation et de la technologie (DSIT) au Royaume-Uni.


Logo financement union européenne logo UK Research and Innovation (UKRI)
Mis à jour le  30 septembre 2026