Email : prénom.nom@m4x.org

I completed in 2018 a PhD in proof theory at Deducteam (Inria) an LSL (CEA LIST), in collaboration with the Langley Research Center (NASA). My PhD advisors are Gilles Dowek et Florent Kirchner.