Informatique
M2 - Computer and network systems - sous parcours Systèmes autonomiques

Outils méthodologiques (2.5 crédits18h )

Mastériales (2.5 crédits13h )

1 option(s) au choix parmi 11 :

• Autonomic networking (2.5 crédits18h )

• Optimisation multicritère (2.5 crédits18h )

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

• Reinforcement learning and approximation algorithms (2.5 crédits18h )

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

• Apprentissage profond (2.5 crédits18h )

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

• Cloud computing (2.5 crédits18h )

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

• Software Defined Networks (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 11 :

• Autonomic networking (2.5 crédits18h )

• Optimisation multicritère (2.5 crédits18h )

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

• Reinforcement learning and approximation algorithms (2.5 crédits18h )

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

• Apprentissage profond (2.5 crédits18h )

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

• Cloud computing (2.5 crédits18h )

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

• Software Defined Networks (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 11 :

• Autonomic networking (2.5 crédits18h )

• Optimisation multicritère (2.5 crédits18h )

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

• Reinforcement learning and approximation algorithms (2.5 crédits18h )

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

• Apprentissage profond (2.5 crédits18h )

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

• Cloud computing (2.5 crédits18h )

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

• Software Defined Networks (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 11 :

• Autonomic networking (2.5 crédits18h )

• Optimisation multicritère (2.5 crédits18h )

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

• Reinforcement learning and approximation algorithms (2.5 crédits18h )

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

• Apprentissage profond (2.5 crédits18h )

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

• Cloud computing (2.5 crédits18h )

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

• Software Defined Networks (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 11 :

• Autonomic networking (2.5 crédits18h )

• Optimisation multicritère (2.5 crédits18h )

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

• Reinforcement learning and approximation algorithms (2.5 crédits18h )

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

• Apprentissage profond (2.5 crédits18h )

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

• Cloud computing (2.5 crédits18h )

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

• Software Defined Networks (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 10 :

• Feedback-loop design for autonomic systems (2.5 crédits18h )

• Systèmes multi-agents (2.5 crédits18h )

• Game Theory (2.5 crédits18h )

• Modélisation formelle à base d'algèbres de réseaux de Petri (2.5 crédits18h )

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

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

• Concurrent, distributed and timed processes (2.5 crédits18h )

• Approches formelles pour la vérification de programmes (2.5 crédits18h )

• Spécifications of open (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 10 :

• Feedback-loop design for autonomic systems (2.5 crédits18h )

• Systèmes multi-agents (2.5 crédits18h )

• Game Theory (2.5 crédits18h )

• Modélisation formelle à base d'algèbres de réseaux de Petri (2.5 crédits18h )

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

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

• Concurrent, distributed and timed processes (2.5 crédits18h )

• Approches formelles pour la vérification de programmes (2.5 crédits18h )

• Spécifications of open (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 10 :

• Feedback-loop design for autonomic systems (2.5 crédits18h )

• Systèmes multi-agents (2.5 crédits18h )

• Game Theory (2.5 crédits18h )

• Modélisation formelle à base d'algèbres de réseaux de Petri (2.5 crédits18h )

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

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

• Concurrent, distributed and timed processes (2.5 crédits18h )

• Approches formelles pour la vérification de programmes (2.5 crédits18h )

• Spécifications of open (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 10 :

• Feedback-loop design for autonomic systems (2.5 crédits18h )

• Systèmes multi-agents (2.5 crédits18h )

• Game Theory (2.5 crédits18h )

• Modélisation formelle à base d'algèbres de réseaux de Petri (2.5 crédits18h )

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

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

• Concurrent, distributed and timed processes (2.5 crédits18h )

• Approches formelles pour la vérification de programmes (2.5 crédits18h )

• Spécifications of open (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 10 :

• Feedback-loop design for autonomic systems (2.5 crédits18h )

• Systèmes multi-agents (2.5 crédits18h )

• Game Theory (2.5 crédits18h )

• Modélisation formelle à base d'algèbres de réseaux de Petri (2.5 crédits18h )

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

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

• Concurrent, distributed and timed processes (2.5 crédits18h )

• Approches formelles pour la vérification de programmes (2.5 crédits18h )

• Spécifications of open (2.5 crédits18h )

• Analyse statique de programmes (2.5 crédits)

Stage R&D et mémoire (30 crédits)