Vous êtes ici : Accueil > Les actions

Formation
Publié le 30 octobre 2018 | Mis à jour le 27 avril 2020

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 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)