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

Projets de R&D (10 crédits52h )

Autonomic networking (2.5 crédits18h )

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

Stage, emploi et communication (2.5 crédits18h )

Sécurité des systèmes d'information (18h )

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)