Research

I am working on convergent approximation methods for global optimization. My main research interests are consistency of G.O methods, measure theory, and functional analysis. I am currently working on my thesis with Nicolas Vayatis. In parallel, I use Lean to formalize research results and I am contributing to Mathlib, its mathematics library.

TA at Université Paris-Saclay

Introduction to Statistical Learning - M2 MVA 2023-2024
Analyse et Convergence - LDD2 IM 2023-2024
Préparation oraux X (Math380X) - LDD3 Maths 2023-2024
Analyse exploratoire des données multivariées - L3 Maths 2023-2024

Publications

Stein Boltzmann Sampling: A Variational Approach for Global Optimization (see poster)
arXiv 2024
LIPO+: Frugal Global Optimization for Lipschitz Functions
arXiv 2024
Improvements of Global Optimization Algorithms for Lipschitz Functions
IPOL 2023
Reinforcement learning for Energies of the future and carbon neutrality: a Challenge Design
arXiv 2022

Talks

Collège de France - 1st prize challenge Accenta
Collège de France, France 2024
NeurIPS - AutoML Decathlon 2022
New Orleans, USA 2022
IEEE WCCI IJCNN - L2RPN 2022 competition
Padova, Italy 2022

Education

M2 Mathématiques, Vision, Apprentissage
École Normale Supérieure of Paris-Saclay 2022-2023
M1 Artificial Intelligence
Université Paris-Saclay 2021-2022
Double bachelor degree Computer Science & Mathematics
Université Paris-Saclay 2018-2021

Research Internships

Pre-PhD on stochastic global optimization and sampling methods
Centre Borelli - ENS Paris-Saclay 2023
Deductive program checking using Why3
Laboratoire Méthodes Formelles 2021

Projects

sbs-proofs - Formalization of some results of our paper using Lean 4.
lean-lipo - Lean formalization of the LIPO's reject probability upper bound using Lean 4.
lean-formalization - Formalization of some mathematical results using Lean 4.
leancal - A simple calendar manager written in Lean.
pygkls - A Python wrapper around the GKLS function generator.
lisa - A 3D path tracing render engine.

Miscellaneous

Lean Game Server - Several games to learn about Lean and its mathematical library, Mathlib.
Learn Git Branching - A fun way to learn Git.