Activité

Je suis ingénieur de recherche post-doctorant au département d'informatique de l'ENS et dans l'équipe Inria Parkas, après avoir soutenu ma thèse sous la direction de Timothy Bourke et de Marc Pouzet.
Mon travail porte actuellement sur la modélisation d'une sémantique dénotationnelle pour les automates hiérarchiques au sein du compilateur Vélus.

Contact

Vous pouvez me contacter par e-mail aux adresses suivantes (au choix) :
prénom.nom@{pjmr,inria,ens}.fr