| INF-Télécom-SLR210 Blockchain: bases algorithmiques |
Cours scientifiques |
Informatique |
|
2.5 |
|
|
AN3-P1-P2 |
|
| INF551 Computational Logic: from Artificial Intelligence to Zero... |
PA - C6B |
Informatique |
UE d'approfondissement, UE de base. |
4 |
|
Samuel Mimram |
AN3 - P1 |
|
| INF554 Machine and Deep learning |
PA - C2B |
Mathématiques appliquées, Informatique |
UE de base, UE d'approfondissement. |
4 |
|
Michalis Vazirgiannis |
AN3 - P1 |
|
| INF557 From the Internet to the IoT: Fundamentals of Modern Comp... |
PA - C4B |
Informatique |
UE de base, UE d'approfondissement. |
4 |
|
Thomas Clausen |
AN3 - P1 |
|
| INF558 Introduction to Cryptology |
PA - C5B |
Informatique |
UE d'approfondissement, UE de base. |
4 |
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 d'approfondissement, UE de base. |
|
|
Bernadette Charron-Bost,
Jean-Marc Notin |
AN3 - P1 |
|
| INF575 Safe Intelligent Systems |
PA - C1B |
Informatique |
UE d'approfondissement, UE de base. |
|
|
Sylvie Putot |
AN3 - P1 |
|
| INF580 Large scale mathematical optimization |
PA - C6B |
Informatique |
UE d'approfondissement. |
4 |
|
Leo Liberti |
AN3 - P2 |
|
| INF581 Advanced Machine Learning and Autonomous Agents |
PA - C4B |
Informatique |
UE d'approfondissement, UE de base. |
4 |
|
Jesse Read |
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 |
AN3-P1-P2 |
|
| INF656D Modélisation et analyse des risques de sécurité dans les ... |
Cours scientifiques |
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 Wireless Sensor Networks |
PA - C8 |
|
|
2.5 |
|
Lim Keunwoo,
Keun-Woo Lim |
AN3 - P1 |
|
| 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 |
|
|
|
|
| INF656L Efficient resolution of logical models |
Cours scientifiques |
Informatique |
|
2.5 |
|
|
AN3-P1-P2 |
|
| INF656N Navigation for Autonomous Systems |
Cours scientifiques |
Informatique |
|
2.5 |
|
|
AN3-P1-P2 |
|
| INF657D Reactive and Synchronous Systems |
PA - C8 |
Informatique |
|
2.5 |
|
Marc Pouzet |
AN3-P1-P2 |
|
| INF657F Noyaux temps-réels |
PA - C4B |
Informatique |
|
2.5 |
|
Laurent Pautet |
AN3-P1-P2 |
|
| INF657G Validation inductive de programmes et de systèmes hybride... |
PA - C3B |
Informatique |
|
2.5 |
|
Eric Goubault,
Sylvie Putot |
AN3 - P1 |
|
| 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 |
|
Khalil Ghorbal |
AN3-P1-P2 |
|
| STGM2 Stage M2 |
Stage |
|
|
30 |
|
|
AN3-P3 |
|
