Research Faculty at Inria, working on the theory of deep learning and AI for maths. NeurIPS 2026 Satellite Chair for Paris. Previously Polytechnique, Sorbonne Université, EPFL.