Je suis maître de conférences à l’Université d’Orléans, où je suis chargé d'enseignements dans le département d’informatique.
Mon activité de recherche se passe au Laboratoire d’Informatique Fondamentale d’Orléans (LIFO).
Mon travail se concentre sur la théorie de la démonstration et la sémantique des langages de programmation. J'étudie en particulier des outils de sémantique quantitative tels que le développement de Taylor, dans le lambda calcul et dans les réseaux de démonstration de la logique linéaire.
Je m'intéresse également à la calculabilité asynchrone et aux algorithmes distribués probabilistes, et plus généralement aux sémantiques pour le parallélisme et la programmation réactive.
