| Algorithmique | DEUG MIAS-MI 1 |
| Algorithmique | DEUG MIAS-MI 2 |
| Langage C | Licence d'Informatique |
| Paradigmes des langages de programmation | Maîtrise d'Informatique |
| Programmation impérative | L2 parcours MI |
| Compilation: analyse lexicale et syntaxique | Licence d'Informatique, L3 informatique |
| Langage Java | IUP MIAGE 1 |
| LaTeX (traitement de textes) | Maîtrise d'Informatique |
| Logique | Maîtrise d'Informatique et IUP MIAGE 1 |
| Emacs | Licence d'Informatique |