Les thèmes étudiées porteront sur la communication, la vérification et les architectures communicantes à base d’agents logiciels adaptées aux nouveaux enjeux des applications mobiles distribuées.
- Enseignant: Pascal Anelli
- Enseignant: Remy Courdier
- Enseignant: Nicolas Kuhn
- Enseignant: Emmanuel Lochin
- Enseignant: Frederic Mesnard