Master mention mathématiques et applications parcours logique mathématiques et fondements de l'informatique (LMFI) - 2ème année

• Master mention mathématiques et applications - Code CertifInfo 117338
  • Niveau de qualification : 7 - Savoirs hautement spécialisés

Objectifs

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.

Il est organisé par deux laboratoires prestigieux, de l'Université Paris-Diderot et du CNRS, couvrant la plupart des branches de la logique mathématique et informatique : l'Équipe de Logique Mathématique de l'Institut de Mathématiques de Jussieu - Paris Rive Gauche et le pôle Preuves, Programmes, Systèmes (PPS) de l'Institut de Recherche en Informatique Fondamentale.

Programme de la formation

Le LMFI est composé :

Au 1er semestre : un cours préliminaire intensif de logique (30h), facultatif; un tronc commun constitué de quatre cours fondamentaux (trois cours de 48h, un cours de 84h); les groupes de travail des cours fondamentaux (36h chacun).


Au 2ème semestre : huit cours avancés (48h chacun); des cours d'ouverture (24h chacun); une initiation à la recherche sous forme d'un stage/mémoire, encadré par un enseignant-chercheur.

 

Validation et sanction

Master mention mathématiques et applications

Type de formation

Certifiante

Sortie

Bac + 5 et plus