Activité

Je suis ATER au département d'informatique l'ENS et toujours doctorant dans l'équipe Parkas de 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.
Une approche intéressante à base de sémantique dénotationnelle à la Kahn est décrite dans ce court document.

Contact

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