Enseignements
Année 2021-2022
- TD (36h) - BUT 2ième année, Développement web - IUT Nancy Charlemagne - parcours Métiers du Multimédia et de l'Internet (MMI)
Année 2019-2020
Année 2018-2019
- TD (20h) - L3 SIF - École normale supérieure de Rennes, Université de Rennes 1 : Algorithmique 1 -
méthodes algorithmiques et algorithmique des graphes
Supports :
td1 ,
td2 ,
td3 ,
td4 ,
td5 ,
td6 ,
td7 ,
td8 ,
td9 ,
td10 .
- TP (26h) - L1 - IE - Université de Rennes 1 : Spécialité informatique 1 (algorithmique de base en Java et introduction à la complexité)
- TP (20h) - L3 - Informatique - Université de Rennes 1 : Programmation de confiance
(programmation vérifiée en Why3)
Année 2017-2018
- TD (20h) - L3 SIF - École normale supérieure de Rennes, Université de Rennes 1 : Algorithmique 1 -
méthodes algorithmiques et algorithmique des graphes
Supports :
td1 ,
td2 ,
td3 ,
td4 ,
td5-6 ,
td7 ,
td8 ,
td9 ,
td10 ,
td11 .
- TP (26h) - L1 - IE - Université de Rennes 1 : Spécialité informatique 1 (algorithmique de base en Java et introduction à la complexité)
- TP (20h) - L3 - Informatique - Université de Rennes 1 : Programmation de confiance
(programmation vérifiée en Why3)
Homepage