Logique et informatique -- lambda-calcul

Calculabilité et complexité

Algorithmique

Mathématiques discrètes

Architecture et système

Programmation : concepts et sémantique

Langages formels

Programmation avancée

Mise à niveau

Mise à niveau en Linux, programmation impérative (Python et C) et fonctionnelle (OCaml), rédaction (LaTeX) et réseau.