Enseignement

Cours

J'effectue régulièrement des vacations dans des écoles d'ingénieurs pour disséminer les méthodes formelles, ainsi que des tutoriaux sur
Frama-C dans des conférences. Quelques-unes de mes séances de TPs sont librement accessibles. N'hésiter pas à me contacter pour recevoir mes supports de cours. Auparavant, j'ai été moniteur de 2002 à 2005 puis demi-ATER en 2006 à l'Université Paris 11.

Activités de dissémination

Je suis toujours heureux de parler de
Frama-C et, plus généralement, des méthodes formelles. Je donne ainsi fréquemment des exposés à des partenaires académiques ou industriels pour présenter tout ou partie de mes activités scientifiques et techniques. Aussi, de temps en temps, je les explique à un public non scientifique, pouvant inclure un public jeune.

Dernière modification le mardi 8 novembre 2016 à 13h41min43sec (heure de Paris).