| UE | Type d'enseignement | Domaines | Catégorie d'UE | Credit Ects | Volume horaire | Responsables | Periode de programmation | Site pédagogique |
|---|---|---|---|---|---|---|---|---|
| INF551 Computational Logic: from Artificial Intelligence to Zero... | PA - C6B | Informatique | UE de base, UE d'approfondissement. | Samuel Mimram | AN3 - P1 | |||
| INF554 Machine and Deep learning | PA - C2B | Informatique | UE d'approfondissement, UE de base. | Michalis Vazirgiannis | AN3 - P1 | |||
| INF557 From the Internet to the IoT: Fundamentals of Modern Comp... | PA - C4B | Informatique | UE d'approfondissement, UE de base. | Thomas Clausen | AN3 - P1 | |||
| INF558 Introduction to Cryptology | PA - C5B | Informatique | UE de base, UE d'approfondissement. | 36 | François Morain | AN3 - P1 | ||
| INF559 Architecture des ordinateurs et systèmes d'exploitation | PA - C3B | Informatique | UE de base, UE d'approfondissement. | Francesco Zappa Nardelli | AN3 - P1 | |||
| INF567 Wireless Networks: from Cellular to Connected Objects | PA - C3B | Informatique | UE d'approfondissement, UE de base. | Marceau Coupechoux | AN3 - P2 | |||
| INF568 Advanced Cryptology | PA - C5B | Informatique | UE d'approfondissement, UE de base. | 4 | Benjamin Smith | AN3 - P2 | ||
| INF571 Distributed Computing | PA - C7 | Informatique | UE de base, UE d'approfondissement. | Bernadette Charron-Bost, Jean-Marc Notin |
AN3 - P1 | |||
| INF575 Safe Intelligent Systems | PA - C1B | Informatique | UE de base, UE d'approfondissement. | Sylvie Putot | AN3 - P1 | |||
| INF581 Advanced Topics in Artificial Intelligence | PA - C4B | Informatique | UE d'approfondissement, UE de base. | Jesse Read, Michalis Vazirgiannis |
AN3 - P2 | |||
| INF586 Sécurité des réseaux | PA - C7 | Informatique | UE de base, UE d'approfondissement. | Thomas Clausen | AN3 - P2 | |||
| INF652A Signaux et systèmes (ISC641) | PA - C3 | Informatique | 2.5 | Eric Goubault | ||||
| INF652C Architecture des systèmes (ISC613) | PA - C6B | Informatique | Eric Goubault | |||||
| INF652D Ingénierie des exigences-AMS 602.5 | HSS - Cours | Informatique | 2.5 | Daniel Krob | ||||
| INF656B Vérification déductive de programmes | PA - C8 | 2.5 | ||||||
| INF656C Sureté de fonctionnement/AMS602.6 | PA - C8 | Informatique | 2.5 | Daniel Krob | ||||
| INF656D Modélisation et analyse des risques de sécu. dans les sys... | PA - C8 | Informatique | 2.5 | Jean Leneutre | AN3 - P1 | |||
| INF656E Systèmes autonomiques : application à la maison intellige... | PA - C8 | 2.5 | AN3-P1-P2 | |||||
| INF656F Algorithmique répartie | PA - C8 | 2.5 | ||||||
| INF656G Réseaux pour l'internet des objets | PA - C8 | 2.5 | ||||||
| INF656H Modélisation objet pour les systèmes | PA - C8 | 2.5 | ||||||
| INF656I Numerical methods for dynamical systems | PA - C8 | 2.5 | AN3-P1-P2 | |||||
| INF656J Formation à la vie en Entreprise | PA - C8 | |||||||
| INF656K Projet robotique | PA - C8 | 2.5 | ||||||
| INF657D Systèmes réactifs et synchrones (ISC633) | PA - C5B | Informatique | 2.5 | Eric Goubault | ||||
| INF657F Noyaux temps -réels | PA - C4B | Informatique | 2.5 | Laurent Pautet | ||||
| INF657G Validation inductive de programmes et de systèmes hybride... | PA - C3B | Informatique | 2.5 | Eric Goubault, Sylvie Putot |
||||
| INF657H Modélisation métier : Systèmes de transport (ISC662) | PA - C4B | Informatique | 2.5 | Eric Goubault | ||||
| INF668 Modeling Physics with Differential-Algebraic Equations | PA - C8 | Informatique | 2.5 |
