School career

  • 1991 Baccalauréat, serie C, Besançon
  • 1995 Master 1 in mathématics, Université de Franche-Comté  
  • 1996 CAPES of mathématics, IUFM d'Auvergne
  • 2002 Master 2 (DEA) in Computer Science (UFC). Master thesis on state reachability and set/logical based spécifications 
  • 2006 Phd in Computer Science @ Laboratoire d'Informatique de l'Université de Franche Comté on Superposition based Verfication of Invariants 
  • 2017  Authorization to Direct Researches  "Discrete models for computer security: from iterative methods to vectorial analysis."