PhD opportunities

Inverse mathematics for the CoQ proofs

Thesis proposal

Area of expertiseReal-time computer science, robotics, systems and control - Fontainebleau
Doctoral SchoolSystems Engineering, Materials, Mechanics, Energy
SupervisorM. Olivier HERMANT
Co-supervisorM. Gilles DOWEK
Research unitMathematics and Systems
ContactHERMANT Olivier
Starting dateOctober 1st 2021
KeywordsProof, Proof assistant
AbstractSee French description
ProfileSee French description
FundingConcours pour un contrat doctoral
PDF document