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

Outils méthodologiques (2.5 crédits)

Mastériales (2.5 crédits)

1 option(s) au choix parmi 10 :

• Autonomic networking (2.5 crédits)

• Optimisation multicritère (2.5 crédits)

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

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

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

• Apprentissage profond (2.5 crédits)

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

• Cloud computing (2.5 crédits)

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

• Software Defined Networks (2.5 crédits)

1 option(s) au choix parmi 10 :

• Autonomic networking (2.5 crédits)

• Optimisation multicritère (2.5 crédits)

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

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

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

• Apprentissage profond (2.5 crédits)

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

• Cloud computing (2.5 crédits)

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

• Software Defined Networks (2.5 crédits)

1 option(s) au choix parmi 10 :

• Autonomic networking (2.5 crédits)

• Optimisation multicritère (2.5 crédits)

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

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

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

• Apprentissage profond (2.5 crédits)

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

• Cloud computing (2.5 crédits)

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

• Software Defined Networks (2.5 crédits)

1 option(s) au choix parmi 10 :

• Autonomic networking (2.5 crédits)

• Optimisation multicritère (2.5 crédits)

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

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

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

• Apprentissage profond (2.5 crédits)

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

• Cloud computing (2.5 crédits)

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

• Software Defined Networks (2.5 crédits)

1 option(s) au choix parmi 10 :

• Autonomic networking (2.5 crédits)

• Optimisation multicritère (2.5 crédits)

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

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

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

• Apprentissage profond (2.5 crédits)

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

• Cloud computing (2.5 crédits)

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

• Software Defined Networks (2.5 crédits)

1 option(s) au choix parmi 10 :

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

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

• Game Theory (2.5 crédits)

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

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

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

• Internet des objets (2.5 crédits)

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

• Specifications of open (2.5 crédits)

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 10 :

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

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

• Game Theory (2.5 crédits)

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

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

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

• Internet des objets (2.5 crédits)

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

• Specifications of open (2.5 crédits)

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 10 :

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

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

• Game Theory (2.5 crédits)

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

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

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

• Internet des objets (2.5 crédits)

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

• Specifications of open (2.5 crédits)

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 10 :

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

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

• Game Theory (2.5 crédits)

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

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

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

• Internet des objets (2.5 crédits)

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

• Specifications of open (2.5 crédits)

• Analyse statique de programmes (2.5 crédits)

1 option(s) au choix parmi 10 :

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

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

• Game Theory (2.5 crédits)

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

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

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

• Internet des objets (2.5 crédits)

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

• Specifications of open (2.5 crédits)

• Analyse statique de programmes (2.5 crédits)

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