Activité

Je suis doctorant dans l'équipe Parkas au département d'informatique de l'ENS et l'Inria Paris, sous la direction de Timothy Bourke et de Marc Pouzet.
Mon travail consiste à développer de nouveaux outils et techniques de raisonnement interactif pour la spécification et la vérification de programmes synchrones, en s'appuyant notamment sur la formalisation du langage Lustre/Scade introduite dans le compilateur Vélus.

Vous pouvez me contacter par mail aux adresses suivantes (au choix) :
prénom.nom@inria.fr
prénom.nom@ens.fr