Page destinée à structurer certains des cours que je suis et à en trouver les ressources aisément. Le lien vers la page du wiki MPRI lié à chaque cours est dans le numéro, le lien vers la sous page est dans le nom.

Semestre 1 :

• 2.7.2 Assistants de preuves

• 2.9.1 Aspects Algorithmiques de la Théorie des Beaux préordres

• 2.30 Preuves de protocoles de sécurité

• 2.1 Logique linéaire et paradigmes logiques du calcul

• 2.4 Programmation fonctionnelle et systèmes de types

• 2.2 Modèles des langages de programmation