Sébastien Tavenas, spécialiste en complexité algorithmique, est chargé de recherche CNRS au Laboratoire de Mathématiques (LAMA) de l’Université Savoie Mont Blanc (USMB) et va recevoir la prestigieuse médaille de bronze du CNRS en 2025. Une distinction qui récompense l’excellence scientifique et l’impact de ses travaux en informatique fondamentale.
UNE PRESTIGIEUSE RECONNAISSANCE DU TRAVAIL ACCOMPLI
Sébastien Tavenas exprime sa fierté et son honneur de recevoir la médaille de bronze du CNRS :
« Je suis bien évidemment très content et honoré de cette récompense. Je pense que l’image que les gens ont du mathématicien est celle de quelqu’un qui travaille tout seul dans son bureau. Mais mes travaux de recherche sont tous en collaboration avec d’autres chercheurs. Donc même si la médaille est à mon nom, le travail est en fait vraiment collectif. »
Il espère que cette distinction contribuera à mieux faire connaître en France les thématiques de la complexité algorithmique, un domaine passionnant mais relativement peu représenté.
UN PARCOURS ENTRE MATHÉMATIQUES, INFORMATIQUE ET OUVERTURE INTERNATIONALE
Après une classe préparatoire en mathématiques à Grenoble, Sébastien Tavenas intègre l’École Normale Supérieure de Lyon en informatique en 2007. Lors de son Master 1, il part à Calgary (Canada) pour un semestre d’études et un stage, puis revient en France pour préparer l’agrégation de mathématiques. Il complète son Master 2 en Logique Mathématique et Fondements de l’Informatique à l’Université Paris VII, avec un stage à l’Université de Montréal (Canada) supervisé par Pierre McKenzie.
De 2011 à 2014, il réalise sa thèse à l’ENS Lyon, sous la direction de Pascal Koiran et Natacha Portier. Intitulée “Bornes inférieures et supérieures dans les circuits arithmétiques”, elle porte sur les limites théoriques de ce type de circuits — des modèles mathématiques qui représentent la manière dont un ordinateur effectue des calculs.
Après son doctorat, Sébastien Tavenas effectue un post-doctorat de six mois à l’Institut Max Planck à Sarrebruck (Allemagne), suivi de 18 mois au Microsoft Research Lab India à Bangalore (Inde). C’est au cours de cette période qu’il découvre vraiment le travail de chercheur, un domaine qui l’attire particulièrement :
« J’aime le fait d’essayer de comprendre les mécanismes sous-jacents derrière les questions d’informatique fondamentale. »
LE LAMA : UN LABORATOIRE AU CARREFOUR DES DISCIPLINES
En 2016, il rejoint le LAMA en tant que chargé de recherche CNRS, où il peut pleinement combiner mathématiques et informatique dans ses travaux. Son parcours, qui navigue entre ces deux disciplines, a en effet trouvé un écho particulier au LAMA, notamment grâce aux travaux de Frédéric Bihan sur la théorie des fewnomials en géométrie réelle, un domaine en lien direct avec les questions mathématiques abordées lors de sa thèse.
COMPRENDRE LES LIMITES DU CALCUL EFFICACE
Le cœur des recherches de Sébastien Tavenas porte sur la complexité algorithmique, c’est-à-dire sur la question : “Quels problèmes peuvent être résolus efficacement par un ordinateur ?”. Certains problèmes sont tout simplement impossibles à résoudre par un ordinateur, comme le “problème de l’arrêt”, qui consiste à déterminer au préalable si un programme va finir ou tourner indéfiniment. Mais même parmi les problèmes théoriquement résolvables, certains nécessitent un très long temps de calcul. Par exemple, il est facile de vérifier si une solution proposée à un sudoku est correcte (même sur une grille de 100 par 100), mais trouver cette solution peut demander énormément de temps.
Ce type de question est au cœur de l’informatique théorique, qui cherche à classer les problèmes selon leur difficulté. La classe P regroupe ceux qu’on sait résoudre efficacement, tandis que la classe NP contient ceux dont on peut vérifier facilement une solution, sans forcément savoir la trouver rapidement. Comprendre les relations entre ces classes – en particulier savoir si P = NP – reste l’un des plus grands défis scientifiques actuels.
Dans ce cadre, la complexité arithmétique s’intéresse à la difficulté de calculer certaines expressions mathématiques. Sébastien Tavenas travaille tout particulièrement sur des problèmes fondamentaux, comme le calcul du déterminant d’une matrice, qu’il cherche à démontrer comme impossible à réaliser rapidement lorsque les opérations de base autorisées sont restreintes. Ses recherches approfondissent la compréhension des polynômes, expressions composées de variables et de coefficients, et ont d’ores et déjà révélé que les solutions réelles de ces polynômes ont des formes géométriques bien spécifiques.
EN SAVOIR PLUS :
- Consulter le site du LAMA
- Contact : Sébastien Tavenas, chargé de recherche CNRS au LAMA