Sébastien TavenasChargé de recherche CNRS au LAMA

Chargé de recherche CNRS au Laboratoire d’analyse et de mathématiques appliquées (LAMA – CNRS/Université de Savoie Mont Blanc) pour la section 06, Sébastien Tavenas mène ses recherches au sein des équipes Logique, informatique et mathématiques discrètes et géométrie. Il travaille principalement sur la complexité des circuits arithmétiques, sujet sur lequel il a obtenu des résultats de tout premier plan mondial. Ces circuits diffèrent des circuits booléens classiques, qui manipulent des 0 ou des 1 à l’aide d’opérations booléennes, en utilisant des portes qui correspondent aux opérations arithmétiques d’addition et de multiplication. Sébastien Tavenas étudie la taille, minimale et maximale, des circuits qui résolvent différents problèmes. Très impliqué dans l’organisation de la recherche, il est également porteur d’un projet ANR JCJC et fait partie du comité scientifique du groupe de travail Complexité et algorithmes du Groupement de recherche Informatique fondamentale et ses mathématiques (GDR IFM).