Activité
J'occupe actuellement un poste au CEA LIST à Saclay dans l'équipe
de Eric Goubault.
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 avec Michel Hirschowitz et Samuel Mimram 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 à l'adresse suivante : prénom.nom@cea.fr