Enseignement
2021-2022 :
- Structures de données et algorithmes, étudiants au premier cycle.
- Programmation par contraintes, étudiants au doctorat en informatique cognitive.
2013-2014 :
-
Complexité, Master 1, TP.
- TP1 – Sous-séquences maximales (pdf)
- TP2 – Solveur SAT (pdf).
Exemples d'instances : Instances.tar.gz - TP3 – Algorithme DPLL (pdf)
- TP4 – Sudoku (pdf)
- Projet de Programmation Orienté Objet, Licence 3, Responsable d'unité.
2012-2013 :
- Projet de Programmation Orienté Objet, Licence 3, Responsable d'unité.
2011-2012 :
- Architecture, Licence 2, TD et TP.
- Introduction à l’informatique, Licence 1, TP.
2010-2011 :
- Architecture, Licence 2, TD et TP.
- Introduction à l'informatique, Licence 1, TP.