My main research interests include optimization, combinatorics, tropical geometry, game theory, and formalization of mathematics in proof assistants.
I’m particularly interested by the computational problems related to these topics.
I’m also a part-time associate professor (professeur chargé de cours) in the Applied Mathematics Department at Ecole Polytechnique, where I teach optimization and operations research.
CMAP, Ecole Polytechnique
91128 Palaiseau cedex