Page d'accueil
Sommaire

Institut de Mathématiques de Luminy

DEA
Mathématiques Discrètes et Fondements de l'Informatique

responsable

J.-Y. Girard

coordinateur

P. Ruet

correspondants

Bernard Mourrain (Sophia Antipolis)
P. Liardet (Université de Provence)

secrétariat

J. Brohan


Le DEA MDFI existe depuis 1994, il s'adresse aux étudiants titulaires d'une maîtrise de mathématiques ou d'informatique, qui désirent recevoir une solide formation théorique avant d'aborder la recherche. Les cours fondamentaux proposés dans ce DEA portent en effet sur les structures discrètes de l'algèbre, de la combinatoire et de la logique. Les connaissances ainsi acquises sont utilisées dans les options qui développent les thèmes de recherche actuels aussi bien en mathématiques qu'en informatique.

Au cours du premier trimestre, les étudiants suivent deux cours fondamentaux de 40 heures, à choisir parmi les trois cours suivants, et un cours intensif d'une semaine qui a lieu à Sophia Antipolis.

Courbes, codes et cryptographie par F. Rodier (IML-ATI) et P. Véron (GRIM)

Combinatoire des graphes et des mots par X. Bressaud (IML-DAC) et P. Ille
(IML-LDP)

Preuves et types par L. Regnier (IML-LDP)

Lors du deuxième trimestre, les étudiants suivent deux options de 24 heures parmi les suivantes :

Approximation diophantienne et courbes elliptiques par M. Laurent et S. Vladut (IML-ATI)

Codes correcteurs d'erreurs par J. Wolfmann (GRIM)

Calcul formel par I. Emiris, J.-P. Merlet et B. Mourrain (INRIA-SAGA)

Suites symboliques et complexité par S. Ferenczi (IML-DAC)

Structures dynamiques discrètes par H. Daudé et P. Liardet (LATP-DSA)

Réseaux d'interconnexion par J.-C. Bermond (I3S-PACOM)

Logique linéaire par T. Ehrhard et J.-Y. Girard (IML-LDP)

Calculs de processus distribués et mobiles par G. Boudol, I. Castellani et D. Sangiorgi (INRIA-MIMOSA)

Mécanisation des preuves par Y. Bertot et J. Despeyroux (INRIA-LEMME \& CERTILAB)

Durant le troisième trimestre, un stage d'initiation à la recherche est effectué dans l'un des laboratoires d'accueil suivants :

IML (Institut de Mathématiques de Luminy, UPR 9016 du CNRS)

LATP (Laboratoire d'Analyse, Topologie et Probabilités, Université de Provence,
UMR 6632)

INRIA - Sophia Antipolis

I3S (Laboratoire Informatique, Signaux et Systèmes de Sophia Antipolis}, UPRESA 6070)

GRIM (Groupe de Recherche en Informatique et Mathématiques, Université de Toulon et du Var, EA 1355)

En moyenne, une dizaine d'étudiants s'inscrivent chaque année à ce DEA. Actuellement, sept étudiants issus du DEA MDFI préparent une thèse au sein de l'IML.


Page d'accueil
Sommaire