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 documenthttps://www.adum.fr/script/downloadfile.pl?type=78&ID=34861