About me

I am a researcher in the Scool Team-project at Inria centre at the University of Lille. I work mostly on bandit theory and I am interested in all forms of online and reinforcement learning as well as statistics and optimization.

I am a maintainer of the mathematical library Mathlib for the Lean theorem prover.
If you are looking for something to contribute to Mathlib related to probability, here is a list of projects.

In 2020 I was a post-doctoral researcher at Inria Paris, in the SIERRA Team. In 2018-2019 I spent a year in the Machine Learning group at CWI Amsterdam, working with Wouter M. Koolen. From 2015 to 2019 I was a PhD student under the supervision of Vianney Perchet at the CMLA research center of Ecole Normale Supérieure Paris-Saclay and the LPSM lab at Université Paris Cité.

News

[November 2023] I am contributing to the formalization of the polynomial Freiman-Ruzsa conjecture in Lean. This is a project led by Terence Tao, who recently proved this result with W. T. Gowers, Ben Green and Freddie Manners. See this post on Terence Tao's blog for a tour of the project.

[2022] My ANR JCJC project proposal FATE (Frugal and adaptive testing) was accepted.

[July 2022] I co-organize the Complex Feedback in Online Learning workshop at ICML 2022 (Baltimore, July 23). This workshop aims to present a broad overview of the feedback types being actively researched in sequential learning (reinforcement learning, bandits, games...), highlight recent advances and provide a networking forum for researchers and practitioners.

Publications

Last updated: December 2023.

Teaching

Centrale Lille Université de Lille
  • Spring 2023 - Science des données 3, L3 MIASHS
  • Spring 2022 - Science des données 3, L3 MIASHS
ENS Paris-Saclay (Master MVA) Université Paris Diderot
  • Spring 2018 - Probabilités, L2 Math.
  • Fall 2018 - Equation différentielles pour la biologie.
  • Spring 2017 - Probabilités, L2 Math-Info.
  • Fall 2017 - Raisonnement mathématique, L1 Informatique, L1 MIASHS.
  • Spring 2016 - Analyse et algèbre 2, L1 Physique.