Formation

M1 mathématiques (MFA)

Master I Mathématiques Fondamentales et Appliquées (MFA)

Prérequis
L3 Mathématiques

Master Logique et Fondements de l'Informatique

Le M2 LMFI est le seul M2 français dédié à la logique mathématique et à ses applications à l'informatique. Il forme des logiciens de haut niveau et les prépare au doctorat, aux carrières universitaires, à l'enseignement et à des métiers de la R&D.

Prérequis
M1 spécialité mathématiques, informatique ou logique – ou équivalent.