accès doctorat unique et mutualisé
Portail Internet d'Informations, de Services, de communication, des doctorants et docteurs
L'ADUM Mon compte ADUM Actu Recherche Emploi Informations sur le doctorat ADUM

Thomas FAYOLLE - Admis au titre de docteur

Doctorat Informatique


Thèse soutenue le 27 juin 2017 - Université Paris-Est

Ecole doctorale : MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication

Sujet : Combinaison de méthodes formelles pour la spécification de systèmes ferroviaires.

Mots-clés de la thèse : Génie Logiciel,Méthodes Formelles,Système Ferroviaire,

Direction de thèse : Régine LALEAU

Cotutelle Université de Sherbrooke CANADA
Descriptif : Alternance de périodes dans chacune des université avec un planning pour le moment comme suit : - Janvier 2014 -> Aout 2014 : Sherbrooke - Aout 2014 -> Décembre 2014 : Créteil - Janvier 2015 -> Avril 2015 : Sherbrooke - Mai 2015 -> Aout 2015 : Créteil

Unité de recherche : LACL - Laboratoire d'Algorithmique, Complexité et Logique EA 4219 - Créteil

Ingénieur - Diplôme d'ingénieur de L'ENSIIE Conferant le grade de Master

obtenu en avril 2011 - ENSIIE
Option : Informatique
Langues Vivantes : Allemand B1 - Intermédiaire - Anglais C2 - Maternel
Dernière mise à jour le 16 septembre 2017