M2 Spécialité Recherche en Informatique fondamentale

Commentaire sur M2 Spécialité Recherche en Informatique fondamentale - Présentiel - Var - Provence-Alpes-Côte-d'Azur

• Objectifs
  L’objectif de cette spécialité est de fournir dans un premier temps les bases de l’informatique nécessaires pour exercer une profession d’informaticien. Une partie des cours de 1ère année permettra aux étudiants d’acquérir les fondements de l’informatique théorique. Les cours en 2ème année permettront d’approfondir ces connaissances en les orientant vers les thèmes de prédilection du LIF. Le cursus complet, s’appuie sur les domaines d’excellence des équipes locales et permettra aux étudiants d’obtenir un bagage solide de connaissances dans plusieurs domaines de l’informatique fondamentale. Il donne ainsi accès aux métiers de la recherche dans les domaines de la recherche publique et privée.
• Dirigé à
  Les étudiants ayant réussi la 1ère année d’un master informatique, c’est-à-dire titulaires d’une maîtrise d’informatique ou ayant validé 60 ECTS d’un master européen à dominante informatique, peuvent faire acte de candidature. Les candidats sont admis sur dossier dans la mesure des places disponibles dans chaque option de chaque spécialité. Les candidats en formation continue seront admis dans la spécialité.
• Diplôme
  M2 Spécialité Recherche en Informatique fondamentale
• Contenu
  Programme des enseignements :
  
  Semestre 3:
  
  *Informatique fondamentale A, Algorithmes et Complexité
  *Informatique fondamentale B, Programmation et Logique
  *Deux unités dans l'un des six thèmes
  
  1. «Bases de données et Apprentissage automatique»
  
      * Techniques et outils de fouilles de données
      * Fouille de grandes bases de données
      * Entrepôts de données
  
  2. «Combinatoire et recherche opérationnelle»
  
      * Structures discrètes et algorithmique
      * Programmation linéaire et ses applications algorithmiques
      * Géométrie discrète
  
  3. «Compréhension automatique du langage naturel»
  
      * Applications et problématiques du TAL
      * Traitements lexicaux, syntaxiques et sémantiques
      * Traitements de sous langages
  
  4. «Logique et complexité»
  
      * Résolution de contraintes
      * Théorie des modèles pour logiques non classiques
      * Automates cellulaires et systèmes complexes
  
  5. «Modélisation et Vérification»
  
      * Environnement de programmation et de preuves
      * Modélisation, Vérification et test
      * Cryptographie et Sécurité Réseau
  
  6. «Bio Informatique>
  
      * Algorithmique pour la Bio info
      * Classification, Phylogénie et Apprentissage
      * Une unité du S3 du Master «B.B.S.G.» (Bio Informatique, Biologie Structurelle et Génomique) de l'U.F.R. Sciences de Luminy.
  
  *Une unité optionnelle
  
  Semestre 4
  
  Stage dans un laboratoire

Autre formation en rapport avec informatique