Array M2 - Informatique et Mathématiques Discrètes | Département de Mathématiques

M2 - Informatique et Mathématiques Discrètes

Le parcours IMD s'adresse aux étudiants titulaires d'un M1 d'informatique ou de mathématiques. Il 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...

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, ...

Organisation de l'année

Début des cours à la mi-septembre

  • 2 semaines : rappels intensifs 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
      • Ensembles ordonnés en 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
      • Logique computationnelle

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

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.