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.
Ma thèse porte sur le développement 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