option Automatique, filière Systèmes Embarqués
diplôme obtenu en novembre 2005, mention Très Bien

Automatique et Systèmes de Production (filière Systèmes de Production)
diplôme obtenu en octobre 2006, mention Très Bien

spécialité Automatique et Informatique Appliquée
titre : Vérification des EFFBDs : Model checking en Ingénierie Système
financement CIFRE (en partenariat avec l'entreprise Sodius)
laboratoire/équipe : IRCCyN/Systèmes Temps Réel
soutenue le 3 novembre 2009 à l'École Centrale de Nantes

Composition du jury :

Directeur de thèse :	Olivier (H.) Roux	Maître de Conférences HDR, Université de Nantes (IRCCyN)
Président :	Charles André	Professeur, Université Nice Sophia Antipolis (I3S)
Rapporteurs :	Fabrice Kordon	Professeur, Université P. & M. Curie (LIP6)
	François Vernadat	Professeur, INSA Toulouse (LAAS)
Examinateurs :	Jean-Philippe Lerat	P.D.G. de Sodius
	Éric Niel	Professeur, INSA Lyon (Ampère)
Invité :	Jean-Luc Wippler	Ingénieur système, C-S

First Certificate in English (FCE, Cambridge), grade A - 2003
TOEIC, 950/990 - 2005

Zentrale Mittelstufenprüfung (Goetheinstitut), gut - 2003