M2 - Fondements de l'Informatique et Ingénierie du Logiciel (FIIL)

S3 - Semestre 3

UE - obligatoires

Anglais
ECTS : 2.5
Volume horaire ( TD : 24 )

Projet tutoré
ECTS : 2.5
Volume horaire ( )

10 UE au choix parmi 8 thématiques

Informatique théorique

Théorie algorithmique des jeux
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Génération d’objets combinatoires décrits par une grammaire
ECTS : 2.5
Volume horaire ( CM : 21 )

Combinatoire effective
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Optimisation stochastique
ECTS : 2.5
Volume horaire ( CM : 21 )

Analyse topologique et géométrique des données
ECTS : 2.5
Volume horaire ( CM : 18 TD : 3 )

Aspects géométriques de l'optimisation linéaire
ECTS : 2.5
Volume horaire ( CM : 21 )

Codes correcteurs, complexité et théorie de l'information
ECTS : 2.5
Volume horaire ( CM : 21 )

Algorithmique

Modèles de la nature: protocoles de populations et algorithmes naturels
ECTS : 2.5
Volume horaire ( CM : 21 )

Algorithmique répartie
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Algorithmique et optimisation pour les réseaux
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Techniques aléatoires et approximations
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Algorithmique de graphes
ECTS : 2.5
Volume horaire ( CM : 21 )

Algorithmique du web, réseaux sociaux
ECTS : 2.5
Volume horaire ( CM : 21 )

Calcul scientifique et architectures

Calcul Haute Performance
ECTS : 2.5
Volume horaire ( CM : 21 )

Algorithmique pour la minimisation de l'énergie
ECTS : 2.5
Volume horaire ( CM : 21 )

Optimisation de performances
ECTS : 2.5
Volume horaire ( CM : 18 TP : 3 )

Vérification

Vérification/Preuve interactives et applications
ECTS : 2.5
Volume horaire ( CM : 9 TP : 12 )

Modélisation à l'aide d'assistants de preuve
ECTS : 2.5
Volume horaire ( CM : 9 TP : 12 )

Outils de test, critères et stratégies de couverture
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Test de conformité
ECTS : 2.5
Volume horaire ( CM : 21 )

Software Model checking
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Déduction automatique
ECTS : 2.5
Volume horaire ( CM : 12 TD : 9 )

Vérification déductive de programmes
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Model checking et spécifications logiques de systèmes ouverts
ECTS : 2.5
Volume horaire ( CM : 15 TD : 6 )

Validation inductive de programmes et de systèmes hybrides
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Langages

Langages, analyse statique, et compilation
ECTS : 2.5
Volume horaire ( CM : 10.5 TD : 10.5 )

Langages centrés données
ECTS : 2.5
Volume horaire ( CM : 11 TD : 10 )

Systèmes réactifs et synchrones
ECTS : 2.5
Volume horaire ( CM : 10 TD : 11 )

Modélisation

Modélisation et interprétation
ECTS : 2.5
Volume horaire ( CM : 21 )

Modélisation et simulation de systèmes dynamiques
ECTS : 2.5
Volume horaire ( CM : 7 TD : 14 )

Programmation

Programmation orientée sécurité
ECTS : 2.5
Volume horaire ( CM : 10 TD : 11 )

Programmation d'applications Web avancées
ECTS : 2.5
Volume horaire ( CM : 10 TD : 11 )

Programmation systèmes et réseaux
ECTS : 2.5
Volume horaire ( CM : 10 TD : 11 )

Programmation C++ avancée
ECTS : 2.5
Volume horaire ( CM : 9 TP : 6 TD : 6 )

Gestion de projet

Outils et méthodes pour le développement de logiciels
ECTS : 2.5
Volume horaire ( CM : 6 TP : 15 )

S4 - Semestre 4

Stage
ECTS : 25
Volume horaire ( )

UE libre
ECTS : 2.5
Volume horaire ( )

1 UE au choix

Formation à la recherche
ECTS : 2.5
Volume horaire ( )

Formation à la vie de l'entreprise
ECTS : 2.5
Volume horaire ( )