Activité
Je suis post-doctorant dans l'équipe
APR
du Lip6,
à Sorbonne Université, sous la supervision
d'Antoine Miné.
Auparavant, j'ai été doctorant puis post-doctorant au département
d'informatique de l'ENS, dans l'équipe
Parkas,
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,lip6}.fr