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