Thomas Traversié Doctorant

Homepage

Encadrement de thèse : Marc Aiguier (MICS), Gilles Dowek (LMF), Olivier Hermant (CRI)

Mots-Clefs : Preuves formelles, Logique intuitionniste, Théorie des types

I am a PhD student under the supervision of Marc Aiguier, Gilles Dowek and Olivier Hermant, in the Arcade team at MICS and the Deducteam team at the Formal Methods Laboratory. My research focuses on translations between different logics, such as translations from classical logic to intuitionistic logic, and on the exchange of formal proofs within the logical framework Dedukti.