Fiche de TOLLITTE Pierre-nicolas

Informations professionnelles


Statut: Docteur ED
ED:
Unité de recherche:


Date de debut de thèse: 1 janvier 1900
Date soutenance de thèse: 1 janvier 1900
Directrice de thèse: Catherine DUBOIS ()
Sujet de thèse: Un outil de vérification formelle pour la modélisation de mathématiques effectives Numéro PRD: 3166