Deuxième semestre

Master Informatique

Parcours Informatique.

Cours obligatoires

Gestion de projet › P. Urso
Les notions clés abordées dans ce cours sont l’intégration continue et le déploiement automatique. Lire plus ›

Anglais › P. Yamate
The objectives of the course are to improve your general and professional English level. Read More ›

Pour les étudiants alternants, le projet d’apprentissage fait office de TER. Les étudiants non alternants peuvent réaliser un projet géré par l’EUR à la place du TER. Tous les étudiants présentent leurs travaux en français accompagnés d’un rapport.

Cours optionnels

Les étudiants non alternants doivent suivre entre 6 et 8 cours pouvant inclure une mineure. En alternance, il est vivement déconseillé de suivre plus de 6 cours et les mineures sont interdites.

Model Checking › E. De Maria
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 ›

Programmation de jeux vidéo multi-joueurs (mineure) › M. Buffa
Nous vous proposons ici une mineure DS4H de programmation de jeux vidéo multi-joueurs, incluant graphismes 2D et 3D à 60 images/s, les aspects multi-joueurs temps réel, comportements réactifs et implémentations d'algorithmes classiques (graphes, A*, quadtrees, etc.). L'implémentation se fera en JavaScript et sans doute à l'aide d'une librairie 2D ou 3D. Le suivi de la mineure Technologies Web que je propose à côté de ce cours sera un bon complément/support d'apprentissage de la programmation JavaScript. Lire plus ›

Web › A. Tettamanzi
The Web, originally intended to be an open document-sharing platform, has evolved into a distributed platform for the deployment and execution of applications, to the point that it can now be viewed as a sort of global operating system (the programmable web). Read More ›

Software Engineering › F. Mallet
This course is about learning several techniques to help be more efficient in Software Engineering. The Programming Language is Java. Read More ›

Sécurité › B. Martin
Ce cours présente les concepts généraux de la sécurité et de la vie privée selon différents points de vue. Lire plus ›

Programmation Synchrone › F. Mallet
Le cours offre une introduction à la programmation synchrone en mélangeant les approches déclaratives, flots de données ou basées sur les états. Lire plus ›

Operations Research › J.-C. Régin
This course is about shortest path and maximum flow problems in graphs. Read More ›

Modélisation Programmation par Contraintes › J.-C. Régin
Ce cours introduit les principes de la modélisation en programmation par contraintes. Divers problèmes seront considérés et diverses modélisations envisagées. On s’intéressera aux contraintes globales, aux symétries et aux méthodes de recherches de solutions. Lire plus ›

Méthodes avancées PPC/PL › A. Malapert
Nous introduisons la programmation linéaire tout en continuant l'apprentissage de la modélisation PPC/PL avec un solveur très utilisé dans l'industrie. Lire plus ›

Logique avancée › M. Avanzini, E. Lozes
With this lecture we invite you to discover some close links between logic and automata. Read More ›

Internet of the future › R. Aparicio-Pardo
This course is not available in 2020-2021. This course aims to present the most recent trends, technologies and protocols deployed in Internet nowadays. Read More ›

Graphs › N. Nisse
This lecture presents different ways to efficiciently address « difficult » (NP-hard) problems. Read More ›

Entrepreneuriat › N. Sauvage
L’objectif de ce module est d’aborder les différents choix qui s’offrent à un créateur d’entreprise sous un aspect pratique et surtout en insistant sur les pièges à éviter. Lire plus ›

Communication and Concurrency › C. Di Giusto
L’objectif du cours est d'introduire des formalismes mathématiques pour modéliser et raisonner sur les propriétés de systèmes parallèles. Read More ›

Combinatorial Optimization › J.-C. Régin
This course presents greedy algorithms, decision diagrams, and markov models. Read More ›

Algorithmique et Complexité › E. Formenti
La complexité computationnelle est une notion fondamentale en informatique qui essaye de comparer/classer les algorithmes par rapport à des fonctions de coût des ressources demandées par leur exécution (complète). La complexité d’un algorithme est donc une mesure de la qualité et comme toute mesure elle a besoin d’un système de référence. Les machines de Turing vont être notre principal système de référence. Lire plus ›

Advance OS › S. Touati
We will learn some internal concepts on operating systems and their kernels. Read More ›

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.

Les alternants ne sont pas autorisés à suivre les mineures.