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 mardi 23 juin 2020 à 08h59min53sec (heure de Paris).