Talks

2025 –

  • Prédiction de bornes paramétriques de consommation énergétique
    Point de vue et perspectives de l’interprétation abstraite
    GreenDays’25 - IRISA, Rennes, France - March 2025 - slides

  • Research Introduction
    Static Cost Analysis, Energy, and Interval Recurrence Equations
    PLIS Seminar - RUC, Roskilde, Denmark - February 2025 - slides

2024

  • An Order Theory Framework of Recurrence Equations for Static Cost Analysis
    Dynamic Inference of Non-Linear Inequality Invariants
    SAS’24 - Pasadena (CA), USA - October 2024 - slides

2023

  • Teach the Shift
    Otoño Verde 2023 - Institut Français de Madrid, Spain - December 2023 - link

  • Teach the Shift – Climat et Numérique
    Conférences LFM - Lycée Français de Madrid, Spain - October 2023 - slides - link

  • Un peu de mathématiques en physique, et autres géométries inattendues
    Stage Malgache des Jeunes Mathématiciennes et Mathématiciens - Université de Fianrantsoa, Madagascar - April 2023 - slides

  • Teach the Shift – Climat et Numérique
    Conférences LFM - Lycée Français de Madrid, Spain - March 2023 - slides - link

2022

  • Static Analysis of ReLU Neural Networks with Tropical Polyhedra
    SPLASH’22 - Auckland, New Zealand - December 2022 - slides - video

  • Automated Approximate Recurrence Solving applied to Static Analysis of Energy Consumption
    (Defence) - Université de Paris, Paris, France - August 2022 - slides

2020 – 2021

  • Categories and Preorders in Value Iteration
    Fixed Points and Surrogate Models
    (Defence) - École polytechnique, Palaiseau, France - August 2021 - slides

  • Qualitative properties of Markov Chains
    Model Checking Reading Group - ERATO MMSD, National Institute of Informatics, Tokyo, Japan - July 2021 - slides

  • Tropical AI for Safe AI
    A Story of Geometrical Data Science; Tropical Abstract Interpretation for Verified Neural Networks
    MMSD – G1 seminar - ERATO MMSD, National Institute of Informatics, Tokyo, Japan - June 2021 - slides

  • L’équation aux S-unités
    Voyage géométrique en théorie des nombres
    (Defence) - École polytechnique, Palaiseau, France - May 2020 - slides