{"id":33552,"date":"2025-06-24T11:40:21","date_gmt":"2025-06-24T09:40:21","guid":{"rendered":"https:\/\/www.univ-smb.fr\/mon-usmb\/?p=33552"},"modified":"2025-06-24T11:42:00","modified_gmt":"2025-06-24T09:42:00","slug":"sebastien-tavenas-chercheur-au-lama-recoit-la-medaille-de-bronze-du-cnrs-2025","status":"publish","type":"post","link":"https:\/\/www.univ-smb.fr\/mon-usmb\/2025\/06\/24\/sebastien-tavenas-chercheur-au-lama-recoit-la-medaille-de-bronze-du-cnrs-2025\/","title":{"rendered":"S\u00e9bastien Tavenas, chercheur au LAMA, re\u00e7oit la m\u00e9daille de bronze du CNRS 2025"},"content":{"rendered":"

S\u00e9bastien Tavenas, sp\u00e9cialiste en complexit\u00e9 algorithmique, est charg\u00e9 de recherche CNRS au Laboratoire de Math\u00e9matiques (LAMA)<\/a> de l\u2019universit\u00e9 Savoie Mont Blanc et va recevoir la prestigieuse m\u00e9daille de bronze du CNRS en 2025. Une distinction qui r\u00e9compense l\u2019excellence scientifique et l\u2019impact de ses travaux en informatique fondamentale.<\/strong><\/p>\n

Une reconnaissance du travail accompli<\/strong><\/h2>\n

S\u00e9bastien Tavenas exprime sa fiert\u00e9 et son honneur de recevoir la m\u00e9daille de bronze du CNRS :<\/p>\n

\u00a0\u00a0\u00a0 \u00ab Je suis bien \u00e9videmment tr\u00e8s content et honor\u00e9 de cette r\u00e9compense. Je pense que l’image que les gens ont du math\u00e9maticien 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\u00eame si la m\u00e9daille est \u00e0 mon nom, le travail est en fait vraiment collectif. \u00bb<\/p><\/blockquote>\n

Il esp\u00e8re que cette distinction contribuera \u00e0 mieux faire conna\u00eetre en France les th\u00e9matiques de la complexit\u00e9 algorithmique, un domaine passionnant mais relativement peu repr\u00e9sent\u00e9.<\/p>\n

Un parcours entre math\u00e9matiques, informatique et ouverture internationale<\/strong><\/h2>\n

Apr\u00e8s une classe pr\u00e9paratoire en math\u00e9matiques \u00e0 Grenoble, S\u00e9bastien Tavenas int\u00e8gre l\u2019\u00c9cole Normale Sup\u00e9rieure de Lyon en informatique en 2007. Lors de son Master 1, il part \u00e0 Calgary (Canada) pour un semestre d\u2019\u00e9tudes et un stage, puis revient en France pour pr\u00e9parer l\u2019agr\u00e9gation de math\u00e9matiques. Il compl\u00e8te son Master 2 en Logique Math\u00e9matique et Fondements de l\u2019Informatique \u00e0 l\u2019Universit\u00e9 Paris VII, avec un stage \u00e0 l\u2019universit\u00e9 de Montr\u00e9al (Canada) supervis\u00e9 par Pierre McKenzie.<\/p>\n

De 2011 \u00e0 2014, il r\u00e9alise sa th\u00e8se \u00e0 l\u2019ENS Lyon, sous la direction de Pascal Koiran et Natacha Portier. Intitul\u00e9e \u201cBornes inf\u00e9rieures et sup\u00e9rieures dans les circuits arithm\u00e9tiques\u201d, elle porte sur les limites th\u00e9oriques de ce type de circuits \u2014 des mod\u00e8les math\u00e9matiques qui repr\u00e9sentent la mani\u00e8re dont un ordinateur effectue des calculs.<\/p>\n

Apr\u00e8s son doctorat, S\u00e9bastien Tavenas effectue un post-doctorat de six mois \u00e0 l\u2019Institut Max Planck \u00e0 Sarrebruck (Allemagne), suivi de 18 mois au Microsoft Research Lab India \u00e0 Bangalore (Inde). C\u2019est au cours de cette p\u00e9riode qu\u2019il d\u00e9couvre vraiment le travail de chercheur, un domaine qui l\u2019attire particuli\u00e8rement :<\/p>\n

\u00ab J\u2019aime le fait d\u2019essayer de comprendre les m\u00e9canismes sous-jacents derri\u00e8re les questions d\u2019informatique fondamentale. \u00bb<\/p>\n

Le LAMA : un laboratoire au carrefour des disciplines<\/strong><\/h2>\n

En 2016, il rejoint le LAMA<\/a> en tant que charg\u00e9 de recherche CNRS, o\u00f9 il peut pleinement combiner math\u00e9matiques et informatique dans ses travaux. Son parcours, qui navigue entre ces deux disciplines, a en effet trouv\u00e9 un \u00e9cho particulier au LAMA, notamment gr\u00e2ce aux travaux de Fr\u00e9d\u00e9ric Bihan sur la th\u00e9orie des fewnomials<\/em> en g\u00e9om\u00e9trie r\u00e9elle, un domaine en lien direct avec les questions math\u00e9matiques abord\u00e9es lors de sa th\u00e8se.<\/p>\n

Comprendre les limites de calcul efficaces<\/strong><\/h2>\n

Le c\u0153ur des recherches de S\u00e9bastien Tavenas porte sur la complexit\u00e9 algorithmique, c\u2019est-\u00e0-dire sur la question : \u201cQuels probl\u00e8mes peuvent \u00eatre r\u00e9solus efficacement par un ordinateur ?\u201d. Certains probl\u00e8mes sont tout simplement impossibles \u00e0 r\u00e9soudre par un ordinateur, comme le \u201cprobl\u00e8me de l\u2019arr\u00eat\u201d, qui consiste \u00e0 d\u00e9terminer au pr\u00e9alable si un programme va finir ou tourner ind\u00e9finiment. Mais m\u00eame parmi les probl\u00e8mes th\u00e9oriquement r\u00e9solvables, certains n\u00e9cessitent un tr\u00e8s long temps de calcul. Par exemple, il est facile de v\u00e9rifier si une solution propos\u00e9e \u00e0 un sudoku est correcte (m\u00eame sur une grille de 100 par 100), mais trouver cette solution peut demander \u00e9norm\u00e9ment de temps.<\/p>\n

Ce type de question est au c\u0153ur de l\u2019informatique th\u00e9orique, qui cherche \u00e0 classer les probl\u00e8mes selon leur difficult\u00e9. La classe P regroupe ceux qu\u2019on sait r\u00e9soudre efficacement, tandis que la classe NP contient ceux dont on peut v\u00e9rifier facilement une solution, sans forc\u00e9ment savoir la trouver rapidement. Comprendre les relations entre ces classes \u2013 en particulier savoir si P = NP \u2013 reste l\u2019un des plus grands d\u00e9fis scientifiques actuels.<\/p>\n

Dans ce cadre, la complexit\u00e9 arithm\u00e9tique s\u2019int\u00e9resse \u00e0 la difficult\u00e9 de calculer certaines expressions math\u00e9matiques. S\u00e9bastien Tavenas travaille tout particuli\u00e8rement sur des probl\u00e8mes fondamentaux, comme le calcul du d\u00e9terminant d\u2019une matrice, qu\u2019il cherche \u00e0 d\u00e9montrer comme impossible \u00e0 r\u00e9aliser rapidement lorsque les op\u00e9rations de base autoris\u00e9es sont restreintes. Ses recherches approfondissent la compr\u00e9hension des polyn\u00f4mes, expressions compos\u00e9es de variables et de coefficients, et ont d\u2019ores et d\u00e9j\u00e0 r\u00e9v\u00e9l\u00e9 que les solutions r\u00e9elles de ces polyn\u00f4mes ont des formes g\u00e9om\u00e9triques bien sp\u00e9cifiques.<\/p>\n

En savoir plus<\/h2>\n