- Programmation 2 (L3)
- Méthodes Formelles pour le développement de logiciels sûrs (M1, parcours GL)
- Conception de logiciels sûrs (M2 SSI)
- Etude des vulnérabilités des logiciels (M2 SSI)
- Projet (M2 SSI)
- Algorithmique et programmation Caml (ENSIIE, première année)
- Algorithmique et programmation C (ENSIIE, première année)<
- Compilation (ENSIIE, deuxième année)
- Projet mathématique (ENSIIE, deuxième année)
- Spécifications formelles (ENSIIE et FIP, deuxième année)
- Analyse statique (ENSIIE et master M2 MOPS, troisième année)
- Projet en Coq (ENSIIE, troisième année)
- Projet informatique en C (IIE, première année)
- Projet informatique (IIE, deuxième année)
- Prolog (IIE, deuxième année)
- Test du logiciel (IIE, deuxième année)
- Maintenance du logiciel (FIP, deuxième année)
- Systèmes informatiques (IIE, deuxième année)
- Interfaces homme-machine (IIE, deuxième année)
- Sémantique des langages (IIE, troisième année)