Diplômes concernés
Composition du parcours
-
INF652C INF656C INF657G INF657D INF652A INF656D INF657H INF652D INF656E INF668 INF657F INF656F INF656H INF551 INF568 INF571 INF580 INF581 STGM2
UE | Type d'enseignement | Domaines | Catégorie d'UE | Volume horaire | Responsables | Site pédagogique |
---|---|---|---|---|---|---|
INF551 Computational Logic: from Artificial Intelligence to Zero... | PA - C6B | Informatique | UE de base, UE d'approfondissement. | Samuel Mimram | ||
INF568 Advanced Cryptology | PA - C5B | Informatique | UE de base, UE d'approfondissement. | Benjamin Smith | ||
INF571 Distributed Computing | PA - C7 | Informatique | UE d'approfondissement, UE de base. | Bernadette Charron-Bost, Jean-Marc Notin |
||
INF580 Large scale mathematical optimization | PA - C6B | Informatique | UE d'approfondissement. | Leo Liberti | ||
INF581 Advanced Machine Learning and Autonomous Agents | PA - C4B | Informatique | UE d'approfondissement, UE de base. | Jesse Read | ||
INF652A Signaux et systèmes (ISC641) | PA - C3 | Informatique | Eric Goubault | |||
INF652C Architecture des systèmes (ISC613) | PA - C6B | Informatique | Eric Goubault | |||
INF652D Ingénierie des exigences-AMS 602.5 | HSS - Cours | Informatique | Daniel Krob | |||
INF656C Sureté de fonctionnement/AMS602.6 | PA - C8 | Informatique | Daniel Krob | |||
INF656D Modélisation et analyse des risques de sécurité dans les ... | Cours scientifiques | Informatique | Jean Leneutre | |||
INF656E Systèmes autonomiques : application à la maison intellige... | PA - C8 | |||||
INF656F Algorithmique répartie | PA - C8 | |||||
INF656H Modélisation objet pour les systèmes | PA - C8 | |||||
INF657D Reactive and Synchronous Systems | PA - C8 | Informatique | Marc Pouzet | |||
INF657F Noyaux temps-réels | PA - C4B | Informatique | Laurent Pautet | |||
INF657G Validation inductive de programmes et de systèmes hybride... | PA - C3B | Informatique | Eric Goubault, Sylvie Putot |
|||
INF657H Modélisation métier : Systèmes de transport (ISC662) | PA - C4B | Informatique | Eric Goubault | |||
INF668 Modeling Physics with Differential-Algebraic Equations | PA - C8 | Informatique | Khalil Ghorbal | |||
STGM2 Stage M2 | Stage |