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