Vous êtes ici : Accueil > Les actions

Formation
Publié le 30 octobre 2018 | Mis à jour le 2 novembre 2018

Master Informatique fondamentale

SCIENCES EXACTES / SPÉCIALISTES EN INFORMATIQUE

Le parcours Informatique fondamentale du master d’informatique a pour objectif de permettre aux étudiants de poursuivre en thèse, sur un large choix de thématiques, et de leur donner à chaque étudiant la culture scientifique la plus large possible avant de se spécialiser.

PROGRAMME 

Master 1

Des cours de base permettent d’approfondir les connaissances des étudiants : cours fondamentaux au 1er semestre, un peu plus spécialisés et avec un plus large choix au deuxième.


Master 2

L’offre de cours est totalement renouvelée tous les deux ans. Le processus de sélection des cours s’attache à offrir un large panorama sur l’informatique fondamentale, avec un effort pour être au plus près de l’actualité scientifique. Parmi les thématiques abordées, on notera en particulier : optimisation, logique, cryptographie, recherche
opérationnelle, image, géométrie algorithmique, complexité, graphes, informatique quantique, machine learning, calcul parallèle.


CONDITIONS D’ADMISSION

Sur dossier après une licence 3 d’informatique, ou de mathématiques avec contenu informatique

LISTE DES UNITÉS D’ENSEIGNEMENT

Semestre 1 :

• English
• Integrated project
• Performance Evaluation and Networks
• Compilers and Program Analysis
• Information Theory
• Parallel and Distributed Algorithms and Programs
• Optimisation and Approximation


Semestre 2 :

• Integrated project
• Cryptography and Security
• Computer Algebra
• Semantics and Verification
• Distributed Systems
• Programs and Proofs
• Data Bases and Data Mining
• Computational Complexity
• Computational Geometry and Digital Images
• Machine Learning
• Training Course (11 weeks)


Semestre 3 :

• Optimal Decision Making and Online Optimization
• Computational Geometry
• Hard lattice problems
• Scheduling at scale
• Advanced Topics in Scalable Data Management
• Software Engineering & Compilation
• Modeling and performance evaluation of computer and communications system
• Complex Networks
• Lower bound methods
• Approximation Theory and Proof
• Assistants: Certified Computations
• Cryptanalysis
• Hardware Compilation and Simulation
• Combinatorial scientific optimization
• Topological combinatorics
• Advanced topics in semantics of programming language
• Logic, Automata and Games for Advanced Verification
• Automated Deduction, and opening to Distributed Algorithms


Semestre 4 :

• Training course (20 weeks)