v2.11.0 (5976)

Parcours thématique - PA_Th INF-FMFCPS : Formal Methods and Foundations of Cyber-Physical Systems (FMFCPS)

Domaine > Informatique.

Composition du parcours

Unités d'enseignement

UE Type d'enseignement Domaines Catégorie d'UE Volume horaire Responsables Site pédagogique
APM_51055_EP Traitement du Signal : de Fourier à l'Apprentissage Machine Programme d'approfondissement Mathématiques appliquées UE d'approfondissement. 36 Rémi FLAMARY,
Théo GNASSOUNOU
CSC_50P10_EP Projet de 3A Conception de systèmes autonomes intelligents Programme d'approfondissement Informatique UE d'approfondissement, UE de projet. Eric Goubault,
Sylvie Putot
CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l... Programme d'approfondissement Informatique UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. 36 Samuel Mimram
CSC_51054_EP Deep Learning Programme d'approfondissement Mathématiques appliquées, Informatique PA - BIOINF - cours/EA INF, PA-MAP XOR (INF554, MAP553), UE de base, UE d'approfondissement. 36 Michalis Vazirgiannis
CSC_51055_EP IA formelle en programmation logique avec contraintes Programme d'approfondissement Informatique UE de base, UE d'approfondissement, UE de spécialité. 36 François Fages,
Jackie Gardin
CSC_51058_EP Introduction à la Cryptologie Programme d'approfondissement Informatique UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. 36 Estelle Blin,
François Morain
CSC_51059_EP Architecture des ordinateurs et systèmes d'exploitation Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 36 Francesco Zappa Nardelli
CSC_51071_EP Structures de données distribuées, avec un focus sur les ... Programme d'approfondissement Informatique UE de base, UE d'approfondissement. 36 Daniel Augot,
Constantin ENEA
CSC_51075_EP Systèmes Intelligents Sûrs Programme d'approfondissement Informatique UE de base, UE d'approfondissement. 36 Sylvie Putot
CSC_52003_EP Diagrammes et programmes quantiques Programme d'approfondissement Informatique 36 Titouan CARETTE
CSC_52060_EP Algorithmique parallèle et distribuée Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 36 Patrick Carribault
CSC_52064_EP Compilation Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 36 Jean-Christophe Filliâtre
CSC_52065_EP Sécurité des Systèmes d'Information Programme d'approfondissement Informatique UE d'approfondissement, UE de base. Guenael Renault,
Alexandre WALLET
CSC_52067_EP Réseaux sans fil : du Cellulaire aux Objets Connectés Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 36 Juan-Antonio Cordero-Fuertes,
Marceau Coupechoux
CSC_52068_EP Cryptologie Avancée Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, UE de base, UE d'approfondissement. 36 Benjamin Smith
CSC_52070_EP Logical verification of hybrid systems Programme d'approfondissement Informatique Jeremy Dubut
CSC_52071_EP Foundations in software verification Programme d'approfondissement Informatique 36 Ambroise Lafont
CSC_52080_EP Optimisation mathématique à large échelle Programme d'approfondissement Informatique PA - BIOINF - cours/EA INF, UE de base, UE d'approfondissement. 36 Leo Liberti
CSC_52081_EP Apprentissage Automatique Avancé et Agents Autonomes Programme d'approfondissement Informatique PA - BIOINF - cours/EA INF, UE de base, UE d'approfondissement. 36 Patrick LOISEAU,
Jesse Read
CSC_52087_EP Advanced Deep Learning Programme d'approfondissement Informatique UE d'approfondissement. Davide Buscaldi,
Vicky Kalogeiton,
Johannes Lutzeyer,
Michalis Vazirgiannis
CSC_52991_EP Stage de recherche en science informatique Stage Informatique Benjamin Werner
MDC_51005_EP Informatique quantique et applications Programme d'approfondissement Physique, Informatique UE de base, UE d'approfondissement. 36 Thomas Debris
MDC_51006_EP Foundations of Machine Learning Programme d'approfondissement Mathématiques appliquées, Informatique 36 Erwan Le Pennec,
Jesse Read
Veuillez patienter