Parcours Informatique et Mathématiques Discrètes

Le parcours IMD vise à donner une formation de haut niveau fondée sur les interactions entre mathématiques et informatique, notamment dans les domaines de la logique, l'algorithmique, la combinatoire et la théorie des graphes, les méthodes formelles, la théorie des langages de programmation, la cryptographie... Au niveau M2, il s'adresse aux étudiants titulaires d'un M1 d'informatique ou de mathématiques.

Il offre de très nombreux débouchés, vers une poursuite d'étude en doctorat, les carrières de l'enseignement via sans doute une année supplémentaire de préparation agrégation (pour laquelle l'option D informatique sera particulièrement appropriée), les métiers de l'ingéniérie, notamment en génie logiciel, sécurité informatique, modélisation, ...

A propos de la poursuite en doctorat : voir cette page.

Organisation de l'année de M2

Début des cours le 10 septembre 2018.

  • 2 semaines : rappels en mathématiques et en informatique
  • 8 semaines : 3 cours fondamentaux (6ECTS):
    • Algorithmique et complexité
    • Logique et automates
    • Modèles de calcul, systèmes dynamiques, théorie algorithmique des nombres
  • 8 semaines : 5 cours spécialisés (3ECTS) à choisir parmi une liste adaptée chaque année de 12 cours répartis en trois grandes thématiques ; certains de ces cours seront proposés en anglais
    • Mathématiques discrètes
      • Théorie de l'information
      • Calcul naturel
      • Topologie algèbrique discrète - topologie algorithmique
      • Systèmes dynamiques et théorie de Ramsey
    • Algorithmique et combinatoire
      • Fondements de la PPC et SAT
      • Algorithmique distribuée
      • Optimisation combinatoire
      • Théorie métrique des graphes
    • Méthodes formelles
      • Modélisation et simulation à événements discrets
      • Théorie des automates : extensions et applications
      • Sémantique dénotationnelle
      • ASP : fondements théoriques, calculs et applications

      Fin des cours à la fin février ; suivis de 4 mois de stage recherche en laboratoire.

 

Détails des cours d'options : contenus détaillés

En plus des ces cours les étudiants sont invités à participer tout au long de l'année à un séminaire où leur sera présenté les différentes thématiques de recherche en maths-info présentes à Marseille et où il leur sera demandé d'exposer, en anglais, certains approfondissements de leurs cours.

Emploi du temps du M2