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 Sud 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 June 23th, 2020 at 08h59min53sec (Paris time).