• 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