Études

Élève de l'ÉNS Lyon, département d'informatique, je débute actuellement une thèse à l'ONÉRA(centre de Toulouse) après y avoir réalisé mon stage de M2 (MPRI) tous deux sur la collaboration de méthodes d'interprétation abstraite et de k-induction pour les systèmes synchrones. J'ai auparavant effectué ma L3 et mon M1 à Lyon dont deux stages respectivement sur l'application des méthodes deductives à l'ONÉRA et le model checking symbolique au NIA/NASA.

Voir ce CV pour de plus amples détails.

Coordonnées

• Courrier électronique : prenom.nom@ens-lyon.org
• Clef PGP : ici ou sur le serveur pgp.mit.edu avec le fingerprint B00BA74D.

Divers

• acsl.el : un mode Emacs pour ACSL, le langage de spécification de programmes C utilisé dans l'outil Frama-C. C'est une extension du mode C qui apporte principalement une coloration des commentaires spéciaux d'ACSL (commençant par @) et une auto-indentation basique. Instructions d'installation au début du fichier.
• evmdd-smc : un model checker symbolique réalisé lors de mon stage de M1 (rapport de stage) qui s'avère très efficace sur quelques exemples de systèmes globalement asynchrone localement synchrone.
• il m'arrive de plier (origami) : quelques photos