Tous les intervenants et intervenantes de Canal-U

Montgolfière

Tous les intervenants et intervenantes de Canal-U

Chercheurs, chercheuses, enseignants-chercheurs, enseignantes-chercheuses, spécialistes, artistes… découvrez leur profil et leurs interventions
France

Titulaire d'un doctorat en Informatique (Grenoble, 2011)

Chargée de recherche au sein de l'équipe "Sound Programming of Adaptive Dependable Embedded Systems" (Spades) de l'Inria Grenoble

France

Chargée de recherche INRIA en informatique, spécialisée en arithmétique informatique. Membre du Laboratoire de l'informatique du parallélisme (LIP) à l’ENS de Lyon (en 2024)

Thèmes de recherche : computer arithmetic, interval and multiple precision arithmetic, floating-point arithmetic: influence and choice of the computing precision, roundoff errors, verification of floating-point computations for linear and nonlinear problems, global optimization (interval arithmetic) and its parallelization

Auteur d'une thèse soutenue à l'INPG Grenoble (en 1994)

France

Informaticien. Directeur de recherche INRIA, responsable de l'équipe de recherche Analyse statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI ENS, UMR 8548), École normale supérieure, Paris (en 2023)

France

Titulaire d'un doctorat en Informatique (Université Nice-Sophia Antipolis, 2003)

Enseignant-chercheur au sein de l'Institut National des Sciences Appliquées de Lyon (INSA), membre de l'équipe "ALGorithmes et Optimisation pour Réseaux Autonomes" (Agora) du Centre d'Innovation en Télécommunications et Intégration de services (CITI Lab - INSA/Inria)

Professeur des Universités, directeur de thèse Préparée au Laboratoire Centre d'Innovation en Télécommunications et Intégration de services (Lyon, INSA) (CITI), et soutenue à l’INSA de Lyon (en 2024)

Président du jury lors de thèses soutenues à l'INSA Lyon en 2024

France

Informaticien. Directeur de recherche INRIA, responsable de l'équipe-projet Automatic language modelling and analysis and computational humanities (ALMANACH), Centre de recherche INRIA de Paris (2025)

Titulaire de la chaire annuelle Informatique et sciences numériques du Collège de France pour l'année 2023-2024

Ingénieur de l'École polytechnique, Palaiseau, Essonne. Ingénieur du Corps des Télécommunications, Télécom ParisTech, Paris. Doctorat en informatique (Paris 7, 2006). Habilitation à diriger des recherches (Paris, Sorbonne université, 2018)