Présentation de la spécialité
« Recherche en informatique fondamentale »
(finalité recherche)

Département d'Informatique
U.F.R. Sciences de Luminy
U.F.R. Mathématiques, Informatique
et Mécanique (M.I.M.)
Université de la Méditerranée Université de Provence

Présentation et objectifs

Description :

Le master recherche informatique est essentiellement supporté par le Laboratoire d'Informatique Fondamentale (LIF) de Marseille, LIF-UMR CNRS 6166. Le LIF est pluri-thématique. C'est un laboratoire généraliste d'informatique dont le centre de gravité est situé en informatique fondamentale. Ce dernier terme doit être compris comme ce qui est fondamentalement de l'informatique - le coeur de la discipline. L'étude des fondements de l'informatique est un domaine auquel une partie d'entre nous contribue, mais ne caractérise pas l'ensemble des recherches menées au LIF. Notre laboratoire est constitué de 5 équipes de recherche sur lesquelles s'appuient les 5 thèmes que nous proposons d'offrir en deuxième année de master :

  • Modélisation et vérification (MoVe), dirigée par Roberto AMADIO ;
  • Combinatoire et Recherche Opérationnelle (CRO), dirigée par Victor CHEPOI ;
  • Logique et Complexité (LC), dirigée par Karl SCHLECHTA ;
  • Bases de Données (BD), dirigée par Rosine CICCHETTI ;
  • Compréhensions Automatique du Langage naturel (CALN), dirigée par Paul SABATIER ;

où 2 axes transversaux sont identifiés :

  • Bio-informatique et Mathématiques (L'équipe Bio-informatique de l'Institut de Mathématiques de Luminy, dirigée par Alain GUENOCHE, est concernée);
  • Contraintes.

Au cours des quatre dernières années les membres du laboratoire ont publié 110 articles dans des revues internationales de rang A, 134 articles dans des actes de conférences internationales. Trois habilitations à diriger des recherches ont été soutenues, ainsi que 9 thèses. Il y a actuellement 19 étudiants en thèse.

Responsables :

Effectif prévu : 30 étudiant(s)

Programme des enseignements

Programme du semestre S3 :

Programme du semestre S4 :

Commentaires : Le master recherche informatique est organisé en 4 semestres. Il est co-habilité par les deux universités U1 et U2. Les deux premiers semestres (S1 et S2) sont organisés indépendamment dans les deux universités (voir tronc commun en M1). Les deux derniers semestres (S3 et S4) sont organisés conjointement. 3ème semestre : 2 modules obligatoires et 3 modules optionnels. Les 2 modules communs sont des modules spécifiques à ce master. Les 3 modules optionnels sont à choisir dans les modules spécifiques offerts dans 6 thèmes : Bases de données et Apprentissage automatique, Combinatoire et recherche opérationnelle, Compréhension automatique du langage naturel, Logique et complexité, Modélisation et Vérification, Bio-Informatique. Il faudra choisir 2 module dans un premier thème et 1 module dans un second thème. 4ème semestre : Stage