Email : pré[email protected]
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.