Informatique
M2 Informatique parcours Computer and network systems - sous-parcours Systèmes en réseau

Projets R&D : Analyse, modélisation et spécifications (5 crédits)

Projets R&D : Développement, test et validation (5 crédits)

Autonomic networking (2.5 crédits)

Sécurité des systèmes informatiques

Sécurité des réseaux (2.5 crédits)

Stage, emploi et communication (2.5 crédits)

1 option(s) au choix parmi 12 :

• Administration et développement de systèmes pour les centres (2.5 crédits18h )

• Architecture orientée services (18h )

• Preuve formelle mécanisée (2.5 crédits)

• Sémantique des langages de programmation (2.5 crédits)

• Projet vérification de programmes (2.5 crédits)

• Cloud computing (2.5 crédits18h )

• Méthodes de tests pour les systèmes complexes (2.5 crédits18h )

• Qualité de service dans les réseaux (2.5 crédits18h )

• Programmation parallèle pour le calcul à haute performance (2.5 crédits18h )

• Software Defined Networks (2.5 crédits18h )

• Indexation et recherche d'information (18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 12 :

• Administration et développement de systèmes pour les centres (2.5 crédits18h )

• Architecture orientée services (18h )

• Preuve formelle mécanisée (2.5 crédits)

• Sémantique des langages de programmation (2.5 crédits)

• Projet vérification de programmes (2.5 crédits)

• Cloud computing (2.5 crédits18h )

• Méthodes de tests pour les systèmes complexes (2.5 crédits18h )

• Qualité de service dans les réseaux (2.5 crédits18h )

• Programmation parallèle pour le calcul à haute performance (2.5 crédits18h )

• Software Defined Networks (2.5 crédits18h )

• Indexation et recherche d'information (18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 12 :

• Administration et développement de systèmes pour les centres (2.5 crédits18h )

• Architecture orientée services (18h )

• Preuve formelle mécanisée (2.5 crédits)

• Sémantique des langages de programmation (2.5 crédits)

• Projet vérification de programmes (2.5 crédits)

• Cloud computing (2.5 crédits18h )

• Méthodes de tests pour les systèmes complexes (2.5 crédits18h )

• Qualité de service dans les réseaux (2.5 crédits18h )

• Programmation parallèle pour le calcul à haute performance (2.5 crédits18h )

• Software Defined Networks (2.5 crédits18h )

• Indexation et recherche d'information (18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 12 :

• Administration et développement de systèmes pour les centres (2.5 crédits18h )

• Architecture orientée services (18h )

• Preuve formelle mécanisée (2.5 crédits)

• Sémantique des langages de programmation (2.5 crédits)

• Projet vérification de programmes (2.5 crédits)

• Cloud computing (2.5 crédits18h )

• Méthodes de tests pour les systèmes complexes (2.5 crédits18h )

• Qualité de service dans les réseaux (2.5 crédits18h )

• Programmation parallèle pour le calcul à haute performance (2.5 crédits18h )

• Software Defined Networks (2.5 crédits18h )

• Indexation et recherche d'information (18h )

• Analyse statique de programmes (2.5 crédits)

Stage R&D et mémoire professionnel ou de recherche (30 crédits)