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.
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