Monsieur Jérôme FORTIER / Docteur

Coordonnées

Recherche : NON

Titre : Mathématiques

1ère inscription en thèse : 28 septembre 2011 / 3A

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de thèse : 19 décembre 2014

Sujet : Puissance expressive des formalismes circulaires

Directeur de thèse : SANTOCANALE LUIGI

Co-directeur : BRIEK SRECKO

Unité de recherche : LIF - Laboratoire d'Informatique Fondamentale de Marseille

Equipe : Modélisation et Vérification

Titre : Maîtrise (M. Sc.)

décembre 2010 - Université Laval

Mention : Excellent

Anglais : C2 - Courant