domaines d'enseignement
Informatique.Parcours
- M2CMASIC-S1 Conception, Modélisation et Architecture des Systèmes Industriels Complexes - Semestre 1
- INF652C Architecture des systèmes (ISC613)
- INF656C Sureté de fonctionnement/AMS602.6
- INF657G Validation inductive de programmes et de systèmes hybrides (ISC621)
- INF657D Reactive and Synchronous Systems
- INF652A Signaux et systèmes (ISC641)
- INF656D Security Risk Modelling
- INF657H Modélisation métier : Systèmes de transport (ISC662)
- INF652D Ingénierie des exigences-AMS 602.5
- INF656E Dynamic, Self-Adaptive and Autonomic Systems
- INF668 Modeling Physics with Differential-Algebraic Equations
- INF657F Real-time System Scheduling
- INF656F Algorithmique répartie
- INF656H Modélisation objet pour les systèmes
- INF551 Computational Logic: from Artificial Intelligence to Zero Bugs
- INF568 Advanced Cryptology
- INF571 Distributed Computing
- INF580 Large scale mathematical optimization
- INF581 Advanced Machine Learning and Autonomous Agents
- STGM2 Stage M2
- LAN576FLE03 Cours de Français - PhD Track - A0/A1
- INF648 Embedded security: side-channel attacks; javacard.
- INF646 Introduction to formal methods
- INF587 Informatique quantique et applications
- INF638 Filtering architectures
- INF554 Machine and Deep learning
- INF575 Safe Intelligent Systems
- INF637 Reverse engineering vs Obfuscation
- INF656G Wireless Sensor Networks
- INF557 From the Internet to the IoT: Fundamentals of Modern Computer Networking
- INF558 Introduction to Cryptology
- INF586 Sécurité des réseaux
- INF559 Architecture des ordinateurs et systèmes d'exploitation
- INF567 Wireless Networks: from Cellular to Connected Objects
- INF656B Vérification déductive de programmes
- INF656I Numerical methods for dynamical systems
- INF656J Formation à la vie en Entreprise
- INF656K Projet robotique
- INF656L Efficient resolution of logical models
- INF656N Navigation for Autonomous Systems
- INF636 Blockchain
- INF612 M2 Projet de recherche court (PhDTrack)
- INF-ENSTA-IM Image Mining
- INF-Télécom-SLR210 Blockchain: bases algorithmiques
- INF-NET5533 Filtering Architectures - Télécom
- INF613 M2 Projet de recherche court
