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