Présentation
Mes activités
Actuellement professeur fonctionnaire de l'Éducation Nationale affecté à la Faculté des Sciences et Technologies à Nancy.
Précédemment
- 2016-2017: professeur fonctionnaire stagiaire de l'Éducation Nationale dans l'académie de Reims, affecté au lycée Verlaine de Rethel;
- 2013-2014: postdoctorant au Loria dans l'équipe Types, travail autour du projet ANR DynRes;
- 2012-2013: ATER à l'ENSIIE (campus Évry), membre de l'équipe CPR du Cédric affilié au Cnam;
- 2008-2012: doctorant au Lita affilié à l'Université de Lorraine (campus Metz), thèse soutenue le 07/12/2012 sous la direction de Loïc Colson et co-encadré par Sorin Stratulat, membre de l'équipe «calculs, graphes et logique»
- 2011-2012: ATER à l'Université de Lorraine (campus Metz) dans le département informatique de l'UFR MIM;
- 2009-2010: élu au conseil du département informatique de l'UFR MIM comme représentant des membres non titulaires (ATER, moniteurs et doctorants contractuels chargés d'enseignement);
- 2008-2011: moniteur à l'Université Paul-Verlaine de Metz dans le département informatique de l'UFR MIM.
Évènements
Scientifiques
- 14th Congress of logic, methodology and philosophy of science, Nancy, 19-26/07/2011.
- Journées GeoCal-Lac 2011, Nancy, 12-13/05/2011.
- Logic Colloquium 2010, Paris, 25-31/07/2010.
- Security and reliability day 2010, Saarbrücken (Allemagne), 18/03/2010.
- VTSA09, Nancy, 12-16/10/2009.
Autres
- Exposition photographique sur le métier d'enseignant-chercheur au lycée Georges de La Tour à Metz, dans le cadre de la formation du CIES de Lorraine, 22/01/2010.
Contact
prénom.nom@univ-lorraine.fr
Faculté des Sciences et TechnologiesCampus Aiguillettes - BP 70239
54506 Vandœuvre-lès-Nancy Cedex
France
Bureau 318