Je suis maître de conférences à l’IUT Sénart Fontainebleau depuis septembre 2007.
Mes travaux de recherche au sein de l’unité de recherche LACL ont pour objectif de bénéficier des avantages de différentes formes de modélisation complémentaires pour représenter de manière formelle les systèmes logiciels et informatiques ainsi que leurs comportements. Mes plus récentes thématiques de recherche concernent les activités de preuve et de raffinement en B/Event-B, la modélisation multi-paradigme de systèmes complexes et les méthodes formelles dans l’informatique quantique. J’ai participé à six projets de recherche ANR ou CRSNG, dont dernièrement le projet ANR EBRP sur la définition de nouvelles théories pour la plateforme d’outils Rodin et le projet TAPAS sur la prise en compte du temps dans les modélisations formelles. Je suis régulièrement invité à l’Université de Sherbrooke au Québec où j’ai notamment participé au co-encadrement de 3 thèses en cotutelle. Je co-encadre actuellement deux étudiants au doctorat.
Mes enseignements sont réalisés à l’IUT Sénart Fontainebleau, principalement en système réseau et en génie logiciel. J’ai participé par le passé à des enseignements en interface hommes-machines, en programmation et en méthodes formelles, à l’IUT, à la faculté des sciences et technologie de l’UPEC, au CNAM, à l’ENSIIE (anciennement IIE). Depuis la mise en place du BUT, je m’occupe du portfolio et je gère le projet annuel des étudiants de 3ème année dans le cadre de la SAE.
Concernant les responsabilités collectives, jai effectué deux mandats de chef du département informatique à l’IUT Sénart Fontainebleau en 2010-2013 et en 2018-2022. Dans le cadre du plan IUT, j’ai été chargé de mission en 2019-2020 pour le lancement d’un nouveau département MMI (métiers du multimédia et de l’internet) sur le campus de Sénart, dont la première rentrée a eu lieu en septembre 2019. Au niveau national, j’ai participé pendant 6 ans (2011-2017) au conseil d’administration de la Société informatique de France, une association très impliquée dans la valorisation de l’informatique dans la société. En avril 2016, j’ai rejoint l’équipe de présidence de l’UPEC, comme assesseur en charge des moyens et des ressources humaines, puis comme vice-président du conseil d’administration de l’UPEC. J’ai assuré l’intérim de la présidence de l’UPEC de novembre 2017 à février 2018. Depuis 2022, je suis membre élu au CSA et à la FS-SSCT de l’UPEC.
Pour une nouvelle dynamique à l'IUT 