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
available. Feel free
to contact me to get
Previously, I was teaching assistant at Université Paris 11 from 2002 to 2006.
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).