Habilitation à Diriger des Recherches

J'ai défendu mon Habilitation à Diriger des Recherches le lundi 9 juillet 2018. Son titre est From Static Analysis to Runtime Verification with Frama-C and E-ACSL. Le manuscrit est librement disponible. Mon CV d'HDR est aussi consultable.

Le jury était composé de:

Dernière modification le lundi 10 septembre 2018 à 15h06min58sec (heure de Paris).