Habilitation Thesis

The defense of my Habilitation Thesis will take place on Monday, the 9th of July 2018 at CEA Saclay Nano-Innov, building 862, amphi 33. For those who are not familiar with the French academic system, Wikipedia is your friend.

The title of my thesis is From Static Analysis to Runtime Verification with Frama-C and E-ACSL. A draft of my memoir and my French curriculum are available.

The examination board consists of:

Last modification the Wednesday June 20th, 2018 at 17h47min03sec (Paris time).