I give lectures in several engineering schools in order to disseminate formal methods. I also give tutorials on
Frama-C in conferences. Some of my exercices are freely available. Feel free to contact me to get slides. Previously, I was teaching assistant at Université Paris Sud from 2002 to 2006.

Dissemination Activities

I am always happy to give talks about
Frama-C or formal methods in general. I frequently give talks to academic and industrial partners to explain (parts of) my activities but, from time to time, I also give talks to explain my works to non-scientific people, including young people.

Last modification the Saturday May 28th, 2022 at 10h14min39sec (Paris time).