Dates importantes
1er septembre 2014 - Ouverture du CMI Informatique à l'Université de Franche-Comté.
1er janvier 2012 - Le laboratoire d'informatique LIFC est intégré au sein de l'Institut FEMTO-ST en tant que nouveau département appelé Département d'Informatique des Systèmes Complexes (DISC).
1er septembre 2007 - Recrutement en tant que Maître de Conférences à l'Université de Franche-Comté, à Besançon
- depuis sept. 2012 : responsable du diplôme de Licence Informatique à l'Université de Franche-Comté
- service d'enseignement : initiation à la programmation (Licence 1, 2007-), modélisation et conception orientées objet (Licence 3, 2007-), test (Master 2, 2009-), bases de données (Licence 1, 2007-), génie logiciel (Master 1, 2007-2009), Langages du Web (Licence 2, 2009-)
1er octobre 2006 - Postdoctorat au Laboratoire d'Informatique de Grenoble
- Thématique de recherche : modélisation de la sécurité (contrôle d'accès) et génération de tests en utilisant la notation B, test combinatoire avec l'outil Tobias-2
- Enseignement : projet compilation, encadrement de projets PHP/MySQL avec AJAX
19 juillet 2006 - Soutenance de thèse
Mémoire intitulé Évaluation symbolique à contraintes pour la validation - Application à Java/JML, soutenu devant le jury:
- Président : Jacques Julliand, Professeur (Univ. Franche-Comté).
- Rapporteurs : Yves Ledru, Professeur (Univ. Joseph Fourier, Grenoble I), Christine Paulin-Mohring, Professeur (Univ. Paris XI).
- Examinateur : Bernard Botella, Ingénieur (THALES Systèmes Aéroportés).
- Directeurs de thèse : Bruno Legeard, Professeur (Univ. Franche-Comté), Fabrice Bouquet, Maître de Conférences HDR (Univ. Franche-Comté).
1er octobre 2003 - Début d'une thèse au LIFC - Université de Franche-Comté in Besançon
- Thématique de recherche : model based testing, Java Modeling Language, résolution de contraintes, évaluation symbolique.
- Enseignenment (monitorat) : initiation à la programmation, programmation fonctionnelle, langages du web, programmation logique.