Diplômes universitaires

1991 Baccalauréat série C, Besançon
1995 Maîtrise de mathématiques pures, Université de Franche-Comté
1996 CAPES de mathématiques, IUFM d'Auvergne
2002 Maîtrise d'informatique (UFC)
2002 DEA Informatique, optionGénie Logiciel (UFC) sur l'atteignabilité d'états et spécifications logico-ensemblistes
2006 Doctorat en informatique au Laboratoire d'Informatique de l'Université de Franche Comté sur la vérification d'invariants par superposition
2017 (janvier) Habilitation à Dirger les Recherches : "Modèles discrets pour la sécurité informatique: des méthodes itératives à l'analyse vectorielle."