Monsieur Jérôme FORTIER / PhD

Contact details

Research : NON

Title : Mathématiques

First registration date : 28 September 2011 / 3A

Doctoral school : Mathématiques et Informatique de Marseille

Thesis defense date : 19 December 2014

Subject : Puissance expressive des formalismes circulaires

Thesis supervisor : SANTOCANALE LUIGI

Thesis co-supervisor : BRIEK SRECKO

Research unit : LIF - Laboratoire d'Informatique Fondamentale de Marseille

Team : Modélisation et Vérification

Title : Maîtrise (M. Sc.)

December 2010 - Université Laval

Mention : Excellent

Anglais : C2 - Courant