Je suis professeur au LACL et à l'IUT de Sénart-Fontainebleau depuis septembre 2018
Je suis responsable de l'équipe LCP (Logique, calcul et programmation) depuis janvier 2020.
Je co-encadre Fatemeh Ghasemi avec Julien Grange et Mamadou Kanté. Avec Mamadou Kanté, j'ai encadré Alexey Barsukov, qui est actuellement en postdoc dans l'équipe de Libor Barto à Prague (voir sa thèse ici). Une partie importante de ces recherches sont financés par le projet ANR Difference, dont je suis le responsable à l'UPEC.
Je suis actuellement chef du département informatique de l'IUT. Plus de détails sur la formation de BUT info ici.
