2007-2008 : Attaché Temporaire d'Enseignement et de
Recherche
à mi-temps à l'IFSIC
(Institut de Formation Supérieure en
Informatique et Communication), Université de Rennes 1.
Volume d'enseignements : 96 heures équivalent TD
octobre 2004-décembre 2007: Thèse
à l'IRISA, équipe ARMOR puis DIONYSOS
Directeur de thèse: César
VIHO.
Titre de la thèse: Test
d'interopérabilité
de protocoles : de la formalisation des critères
d'interopérabilité à la
génération des tests
Thèse obtenue le 6 décembre 2007 avec la mention
très honorable.
Membres du jury: Richard Castanet (ENSEIRB/LABRI
Bordeaux, rapporteur), Alexandre Petrenko (CRIM Montréal,
CANADA, rapporteur), Thierry Jéron (IRISA/INRIA
équipe-projet VERTECS, examinateur), Raymond Marie
(IRISA/Université de Rennes 1 équipe DIONYSOS,
examinateur), César
VIHO.
2003-2004 : DEA d'informatique à l'IFSIC
(Mention: ABien. Classement: 11/43).
stage: IRISA, équipe ARMOR (ARchitecture
et MOdèle de Réseaux).
Encadrant: César VIHO.
Sujet: Gestion des silences dans la formalisation du
test d'interopérabilité.
2001-2004 : Diplôme d'ingénieur en
informatique et
télécommunications (Diic) à l'IFSIC (mention ABien).
filière LSI: Langages et Systèmes
Informatiques
stage été 2003: IRISA,
équipe ARMOR (ARchitecture et
MOdèle de Réseaux).
Encadrant: César VIHO.
Sujet de stage: Réalisation de simulations
de scénarios pour le test
d'interopérabilité en langage SDL sous le
logiciel Objectgeode.
sujet: Programmation de l'extraction de
certaines données d'un fichier texte
généré automatiquement puis transmission de ces
données vers une base de
données mySQL permettant leur utilisation et visualisation.
