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
v2.11.0 (5790)
- Accueil
| 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 |
