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

Je suis doctorant sous la supervision de Marc Aiguier, Gilles Dowek et Olivier Hermant, dans l'équipe Arcade du MICS et dans l'équipe Deducteam du Laboratoire Méthodes Formelles. Mes travaux de recherche portent sur les traductions entre différentes logiques, telles les traductions de logique classique vers logique intuitionniste, et sur les échanges de preuves formelles au sein du logical framework Dedukti.