Enseignement à l'ENSIIE
- Travaux dirigés de théorie des graphes (cours de Marie-Christine Costa)
- Connexité
- Ensembles stables, ensembles absorbants, noyaux
- Graphes planaires
- Colorations
- Arbres, arborescences (Cours TD)
- Couplages
- Travaux dirigés de recherche opérationnelle (cours d'Alain Billionnet)
- Problèmes de multicoupe
- Programmation dynamique
- Programmation mathématique
- Algorithme du simplexe
- Branch and bound
- Chaînes de Markov, processus stochastiques
- Travaux pratiques d'algorithmique et programmation avec Ocaml (cours de Catherine Dubois)
- Programmation fonctionnelle
- Algorithmique récursive
- Enregistrements, types sommes
- Itérateurs, ordre supérieur
- Travaux dirigés et pratiques d'algorithmique et programmation en C (cours de Renaud Rioboo)
- Programmation impérative
- Boucles
- Types simples, structures
- Entrées/sorties
- Pointeurs
- Spécification formelle : méthode B (cours de Sandrine Blazy et Catherine Dubois)
- Compilation (Cours de Sandrine Blazy)
Enseignement à l'IUT d'Orsay
- Travaux dirigés d'analyse et conception de base de données (cours de Céline Gicquel)