Licence 3, Modèles de la programmation et du calcul
Master 1, Complexité et calculabilité
Master 1, Introduction à la vérification
Master 2, Games and controller synthesis
ENSEIRB IPB, IF222 Introduction à la théorie des jeux
Master 2, Logic and languages