Troisième semestre

Master Informatique

Parcours Informatique et interactions.

Cours obligatoires

Travail d'étude et de recherche (TER) › M. Pelleau, MCF
Le TER (Travail d’Étude et de Recherche) est un projet sous la direction d’un encadrant universitaire ou industriel qui s’effectue par groupe de 2 à 4 étudiants (ingénierie) ou seul (recherche). Il s’étend sur environ 3-4 mois (1 jour par semaine). Lire plus ›

Cours optionnels

Vous devez suivre entre 8 et 10 cours pouvant inclure une mineure.

Sécurité opérationnelle › B. Martin, PR
Ce cours propose une initiation à la cyber-sécurité, une découverte des outils d'audit, et une présentation des techniques d'attaque des applications web. Lire plus ›

Vérification de programmes en PPC › M. Pelleau, MCF
Ce cours est une introduction à la vérification de programmes en utilisant l'interprétation abstraite et la programmation par contraintes. Lire plus ›

Type Systems › C. Di Giusto, MCF
The aim of the course is to introduce a family of formal methods to reason about programs. We will focus on type systems that are useful for statically prove the absence of some bad program behaviours. Lire plus ›

Théorie des Graphes avancée › N. Nisse, CR INRIA
This lecture is the continuation of the lecture on graphs and algorithms that I give in Master 1. Lire plus ›

Systèmes dynamiques finis › A. Richard, CR CNRS
In many branches of current science, graphs, and dynamic processes on these graphs, are considered. Finite Dynamical Systems - also called Automata Networks - allow for an unmistakable representation of such processes. They are, for example, classical models for the dynamics of biological networks (neural and gene networks), social networks (epidemic diffusion), or communication networks (network coding). Lire plus ›

Solveur Programmation par Contraintes › J.-C. Régin, PR
Preuve et programmation fiable › Y. Bertot, DR INRIA
L'objectif de ce cours est de décrire comment produire des programmes entièrement corrects vis-à-vis de spécifications logiques en utilisant le système de preuve Coq. Lire plus ›

Parallelisme avancé › F. Huet, PR
Optimisation des performances des codes › S. Touati, PR
Nous aborderons les techniques automatiques d'optimisation des performances des programmes qui s'exécutent directement sur les processeurs modernes. Les aspects d’interaction bas niveau entre logiciel et matériel sont étudiés. Lire plus ›

Modélisation Avancée PPC/PL › A. Malapert, MCF
We introduce some scheduling problems, algorithms and general methods (linear and constraint programming). Lire plus ›

Model Checking › E. De Maria, MCF
Ce cours porte sur des méthodes et des outils qui permettent de vérifier automatiquement si un système (software ou hardware) vérifie une spécification donnée. Lire plus ›

Contrôle de drones
Complexité Avancée › E. Formenti, PR

Mineures

Un cours en anglais de 3 ECTS, appelé mineure, peut être choisi. Les modalités des mineures sont définies par les enseignants chargés du cours. Elles proviennent principalement d’autres domaines que l’informatique et sont gérées par d’autres masters. Elles peuvent évoluer. Les syllabus des mineures sont disponibles sur la page de DS4H.