- Current:
- Introduction to Quantum computing (M MIAGE)
- Formal languages (L MIASHS)
- Computability theory (M TAL)
- Computational complexity (M MIAGE)
- Former:
- UML and OO design (M1 MIAGE, IDMC)
- Computer Architecture (L2 MIAGE IDMC)
- Algorithmic complexity (L3 MIAGE, IGA, Casablanca)
- Propositional logic (L1 MIASHS, IDMC)
- OO Programming – Java(L2 MIAGE, IDCM)
- Implicit Computational Complexity (M2 CS, UFR STMIA)
- Databases (L3 LSG, IAE)
- Mathematics for cs (M1 SC, IDMC)
- Advanced Java (M1 MIAGE, IDMC)
- Advanced Databases (M1 MSG, IAE)
- Parallel and distributed algorithms (2A, Télécom Nancy)
- Operational research (2A, Télécom Nancy)
- Logic and grammars (1A, Télécom Nancy)
- SQL (1A, Télécom Nancy)
- Bureautics – c2i (L1, CLSH-DEG)
