Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: Inria-Paris (ED-130)
Date de debut de thèse: 4 novembre 2013 Date soutenance de thèse: 10 décembre 2016 Encadrant : Damien DOLIGEZ (Inria-Paris (ED-130)) Directeur de thèse: David DELAHAYE (LIRMM) Sujet de thèse: Déduction automatique modulo
Date de debut de thèse: 4 novembre 2013 Date soutenance de thèse: 10 décembre 2016 Encadrant : Damien DOLIGEZ (Inria-Paris (ED-130)) Directeur de thèse: David DELAHAYE (LIRMM) Sujet de thèse: Déduction automatique modulo