Résumés des cours et séminaires du professeur

2018-2019 – Où va l'informatique ?

2017-2018 – Esterel de A à Z

2016-2017 – L'enseignement n'a pas lieu cette année

2015-2016 – Structures de données et algorithmes pour la vérification formelle

2014-2015 – La révolution informatique dans les sciences

2013-2014 – Le temps élargi : horloges multiples, temps discret et temps continu

2012-2013 – Le temps et les événements en informatique