2021-2022
-
Initiation à la Programmation Java. License 1.Gestion du cours, Cours/Td, TP.
-
Automates Avancés et Applications. Master 1.Cours et TD.
-
Modélisation et Spécification. Master 2.Cours et TD.
-
Programmation Efficace. Licence 3. Cours/TP.
-
Programmation Réseaux. Licence 3. Cours.
-
Méthodes formelles - Vérification probabiliste. Master 2.Cours/TD/TP.
2020-2021
-
Mise à Niveau Java. License 2 - License 3.Cours-TP.
-
Initiation à la Programmation Java. License 1.Gestion du cours, Cours/Td, TP.
-
Automates Avancés et Applications. Master 1.Cours et TD.
-
Modélisation et Spécification. Master 2.Cours et TD.
-
Programmation Efficace. Licence 3. Cours/TP.
-
Programmation Réseaux. Licence 3. Cours.
-
Méthodes formelles - Vérification probabiliste. Master 2.Cours/TD/TP.
2019-2020
-
Mise à Niveau Java. License 2 - License 3.Cours-TP.
-
Initiation à la Programmation Java. License 1.Gestion du cours, Cours/Td, TP.
-
Modélisation et Spécification. Master 2.Cours et TD.
-
Algorithmique Avancée. Licence 3, ENS Paris Saclay. TD.
-
Programmation Efficace. Licence 3. Cours/TP.
-
Projet Informatique. Licence 2. Cours/TP.
-
Méthodes formelles - Vérification probabiliste. Master 2.Cours/TD/TP.
2018-2019
-
Initiation à la Programmation Python. License 1.Cours/TD et TP.
-
Initiation à la Programmation Java. License 1.Gestion du cours.
-
Mise à Niveau Java. License 2 - License 3.Cours-TP.
-
Modélisation et Spécification. Master 2.Cours et TD.
-
Algorithmique Avancée. Licence 3, ENS Paris Saclay. TD.
-
Programmation Efficace. Licence 3. Cours/TP.
-
Projet Informatique. Licence 2. Cours/TP.
-
Concepts Informatiques. Licence 1. TD.
-
Méthodes formelles - Vérification probabiliste. Master 2.Cours et TD.
2017-2018
-
Initiation à la Programmation Python. License 1.Cours.
-
Initiation à la Programmation Java. License 1.Cours.
-
Mise à Niveau Java. License 2 - License 3.Cours-TP.
-
Modélisation et Spécification. Master 2.Cours et TD.
-
Programmation Réseaux. Licence 3.Cours.
-
Algorithmique Avancée. Licence 3, ENS Paris Saclay. TD.
-
Méthodes formelles - Vérification probabiliste. Master 2.Cours et TD.
2016-2017
-
Initiation à la Programmation Python. License 1.Cours-TD et TP.
-
Mise à Niveau Java. License 2 - License 3.Cours-TP.
-
Modélisation et Spécification. Master 2.Cours et TD.
-
Programmation Réseaux. Licence 3.Cours.
-
Théorie et pratique de la
concurrence. Master 1. Cours.
-
Algorithmique Avancée. Licence 3, ENS Cachan. TD.
2015-2016
-
Mise à Niveau Java. License 2 - License 3.Cours-TP.
-
Modélisation et Spécification. Master 2.Cours et TD.
-
Programmation Réseaux. Licence 3.Cours.
-
Automates avancés. Master 1. TD.
-
Théorie et pratique de la
concurrence. Master 1. Cours.
2014-2015
-
Introduction à l'Informatique et à la Programmation. License 1. Cours-TD.
-
Modélisation et Spécification. Master 2. TD.
-
Logique. License 3. TD.
-
Automates avancés. Master 1. TD.
-
Théorie et pratique de la
concurrence. Master 1. Cours et TP.
-
Programmation Réseau. License 3. Cours.
2013-2014
-
Introduction à l'Informatique et à la Programmation. License 1. Cours-TD.
-
Projet Informatique. License 2. Cours-TP.
-
Modélisation et Spécification. Master 2. TD.
-
Logique. License 3. TD.
-
Automates avancés. Master 1. TD.
-
Théorie et pratique de la
concurrence. Master 1. Cours.
-
Programmation Réseau. License 3. TP.
2012-2013
-
Introduction à l'Informatique et à la Programmation. License 1. Cours-TD.
-
Projet Informatique. License 2. Cours-TP.
-
Modélisation et Spécification. Master 2. TD.
-
Programmation Réseau. License 3. TP.
-
Théorie et pratique de la
concurrence. Master 1. Cours.
2011-2012
-
Introduction à l'Informatique et à la Programmation. License 1. Cours-TD.
-
Programmation Orientée Objets. License 3. TD.
-
Modélisation et Spécification. Master 2. TD.
-
Logique. License 3. TD.
-
Programmation Réseau. License 3. TP.
-
Théorie et pratique de la
concurrence. Master 1. TD.
2010-2011
-
Introduction à l'Informatique et à la Programmation. License 1. Cours-TD.
-
Programmation Orientée Objets. License 3. TD.
-
Programmation Réseau. License 3. TP.
-
Théorie et pratique de la
concurrence. Master 1. TD.
-
Environnement de développement. License 3. Cours-TD.