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 11 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 Tuesday November 8th, 2016 at 13h41min43sec (UTC time).