v2.11.0 (6271)

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

Domaine > Informatique.

Descriptif

La filière « Conception des Systèmes Informatiques » est une formation permettant d’aborder la problématique du développement de systèmes embarqués et cyber-physiques, en plein boom, et déjà présents partout dans notre vie quotidienne. Cela va des applications « intelligentes » sur smartphones, aux calculateurs de vol pour un Airbus ; des véhicules autonomes (Tesla, google etc.) et des drones éventuellement en groupes coordonnés, à la smart-grid, entre autres applications actuelles.

Il n’est plus maintenant de systèmes qui ne soient conçus, spécifiés, développés, simulés ni validés sans l’informatique et surtout les concepts fondamentaux de l’informatique : langages « domain-specific » et de spécification, méthodes formelles, réseaux, systèmes distribués, apprentissage etc. Les métiers visés vont des métiers du développement à ceux de la recherche (c’est un sujet avec également de forts enjeux théoriques), de l’ingénierie aux métiers de chefs de projets en entreprise.

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
CSC_50P10_EP Projet de 3A Conception de systèmes autonomes intelligents Programme d'approfondissement Informatique UE de projet, UE d'approfondissement. Eric Goubault,
Sylvie Putot
CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l... Programme d'approfondissement Informatique UE de base, UE d'approfondissement, PA - MAT-INFO - cours/EA INF. 36 Samuel Mimram
CSC_51054_EP Apprentissage profond Programme d'approfondissement Informatique, Mathématiques appliquées UE de base, UE d'approfondissement, PA - BIOINF - cours/EA INF, PA-MAP XOR (INF554, MAP553). 36 Davide Buscaldi,
Johannes Lutzeyer,
Michalis Vazirgiannis
CSC_51055_EP IA formelle en programmation logique avec contraintes Programme d'approfondissement Informatique UE de spécialité, UE d'approfondissement, UE de base. 36 François Fages,
Jackie Gardin
CSC_51058_EP Introduction à la Cryptologie Programme d'approfondissement Informatique UE de base, UE d'approfondissement, 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 de base, UE d'approfondissement. 36 Francesco Zappa Nardelli
CSC_51071_EP Structures de données distribuées, avec un focus sur les ... Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 36 Daniel Augot,
Constantin ENEA
CSC_51075_EP Systèmes Intelligents Sûrs Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 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 de base, UE d'approfondissement. 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 de base, UE d'approfondissement. Guenael Renault
CSC_52067_EP Réseaux sans fil : du Cellulaire aux Objets Connectés Programme d'approfondissement Informatique UE de base, UE d'approfondissement. 36 Juan-Antonio Cordero-Fuertes,
Marceau Coupechoux
CSC_52068_EP Cryptologie Avancée Programme d'approfondissement Informatique UE d'approfondissement, PA - MAT-INFO - cours/EA INF, UE de base. 36 Benjamin Smith
CSC_52070_EP Vérification logique des systèmes hybrides Programme d'approfondissement Informatique 36 Jeremy Dubut
CSC_52071_EP Fondements de la vérification des logiciels Programme d'approfondissement Informatique 36 Ambroise Lafont
CSC_52080_EP Optimisation mathématique à large échelle Programme d'approfondissement Informatique UE de base, UE d'approfondissement, PA - BIOINF - cours/EA INF. 36 Leo Liberti
CSC_52081_EP Apprentissage Automatique Avancé et Agents Autonomes Programme d'approfondissement Informatique UE d'approfondissement, PA - BIOINF - cours/EA INF, UE de base. 36 Patrick LOISEAU,
Jesse Read
CSC_52087_EP Advanced Deep Learning Programme d'approfondissement Informatique UE d'approfondissement. Vicky Kalogeiton,
Johannes Lutzeyer,
Xi Wang,
Ye Zhu
CSC_52991_EP Stage de recherche en science informatique Stage Informatique Benjamin Werner
MDC_51006_EP Bases de l'Apprentissage Automatique Programme d'approfondissement Informatique, Mathématiques appliquées 36 Jesse Read
Veuillez patienter