M1 - site Evry

S1 - Semestre 1

Tronc commun

Anglais
ECTS : 2
Volume horaire ( TD : 18 )

Logique
ECTS : 1.5
Volume horaire ( CM : 4.5 TD : 12 )

Automates, langages et calculabilité
ECTS : 1.5
Volume horaire ( CM : 4.5 TD : 12 )

Algorithmique et complexité
ECTS : 1.5
Volume horaire ( CM : 4.5 TD : 12 )

Sécurité et théorie de l'information
ECTS : 1.5
Volume horaire ( CM : 4.5 TD : 12 )

Systèmes à événements discrets
ECTS : 4
Volume horaire ( CM : 21 TD : 18 )

Fondements des systèmes répartis
ECTS : 1
Volume horaire ( CM : 9 TD : 9 )

Conception orientée objet de logiciels
ECTS : 4
Volume horaire ( CM : 21 TD : 18 )

Conception et programmation d'applications réparties
ECTS : 4
Volume horaire ( CM : 21 TD : 18 )

1 UE bases de données au choix

Bases de données approfondies
ECTS : 4
Volume horaire ( CM : 21 TD : 18 )

Administration des SGBD
ECTS : 4
Volume horaire ( CM : 21 TD : 18 )

1 UE algorithme au choix

Algorithmique avancée
ECTS : 5
Volume horaire ( CM : 24 TD : 24 )

Recherche opérationnelle
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

S2 - Semestre 2

Projet d'études et de recherche
ECTS : 5
Volume horaire ( TD : 9 )

Voie CILS

Spécifications, preuves et vérification formelles
ECTS : 5
Volume horaire ( CM : 24 TD : 24 )

Systèmes multi-agents, réseaux d'automates et modélisation par jeux
ECTS : 5
Volume horaire ( CM : 24 TD : 24 )

Projet d'études et de recherche
ECTS : 5
Volume horaire ( TD : 9 )

Voie ISR

Administration des SGBD
ECTS : 4
Volume horaire ( CM : 21 TD : 18 )

Réseaux avancés
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

Cryptographie et Sécurité
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

10 ECTS au choix

Spécifications, preuves et vérification formelles
ECTS : 5
Volume horaire ( CM : 24 TD : 24 )

Systèmes multi-agents, réseaux d'automates et modélisation par jeux
ECTS : 5
Volume horaire ( CM : 24 TD : 24 )

Apprentissage automatique et optimisation continue
ECTS : 5
Volume horaire ( CM : 24 TD : 24 )

Méthodes formelles pour le génie logiciel
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

Recherche opérationnelle
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

Analyse de données
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

Grilles et Grappes
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

Protocoles de l'internet de demain
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

Tuning et analyse de performances
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

Administration avancée des systèmes et réseaux
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

Réseaux avancés
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )

Cryptographie et Sécurité
ECTS : 5
Volume horaire ( CM : 21 TD : 18 )