Activité

Je suis actuellement professeur d'informatique à l'École polytechnique. J'effectue mes recherches au Laboratoire d'Informatique de l'École polytechnique (LIX) dans l'équipe Cosynus.
Mes travaux concernent la topologie algébrique dirigée et plus particulièrement ses applications à l'étude du comportement des programmes concurrents, autrement dit ceux dont la dynamique met en jeu l'exécution simultanée de plusieurs tâches séquentielles. Je participe notamment au développement d'un outil logiciel dont l'objectif est d'automatiser l'analyse de certains programmes concurrents. Cet outil est basé sur des résultats théoriques issus de la topologie algébrique dirigée.

Vous pouvez me contacter par courrier électronique aux adresses suivantes :
prénom.nom@polytechnique.edu ou encore
prénom.nom@lix.polytechnique.fr

ORCID icon https://orcid.org/0000-0002-5771-4333