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 Sud.

CentraleSupélec Rennes (2023)
- Frama-C pour la cybersecurité
Université Bretagne Sud (2023)
- Frama-C pour la cybersecurité
Telecom SudParis (2022-2023)
- Frama-C pour la cybersecurité
École Polytechnique (2016-2020,2022)
- programmation Java
Université Paris-Saclay (2015-2022)
- vérification déductive de programmes
ISEP (2019-2020)
- introduction à la sécurité des objets connectés
INSA Centre Val de Loire (2013-2015)
- test et spécification des applications
ENSIIE (2010-2015)
- analyse statique de programmes
- projet de programmation raisonnée
ENSMA (2012)
- introduction à l'interprétation abstraite
ENSI Bourges (2009-2011)
- spécification des applications
Université Paris Sud (2002-2006)
- compilation
- programmation fonctionnelle
- programmation orientée objets
- génie logiciel
- logique
- architecture des ordinateurs

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 mercredi 14 juin 2023 à 16h38min39sec (heure de Paris).