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 Noé Ensarguet avec Luc Pelissier et Samuel Mimram à partir d'octobre 2025.
Je co-encadre Fatemeh Ghasemi avec Julien Grange et Mamadou Kanté. Avec Mamadou Kanté, j'ai aussi 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 furent financés par le projet ANR Difference, dont je suis le responsable à l'UPEC.
Je fus chef du département informatique de l'IUT de Sénart-Fontainebleau de juillet 2023 à juillet 2025. Je reste responsable du BUT3. Plus de détails sur la formation de BUT info ici. Si vous souhaitez venir faire des vacations au département, proposer un projet pour les étudiants de BUT3, proposez un stage ou un contrat d'alternance, n'hésitez pas à me contacter.
