Algorithmes économiques de construction, partielle ou
exhaustive, du graphe des états accessibles
Utilisation dans le cadre de la simulation de systèmes
répartis
Utilisation de techniques de validation diverses dans un même
problème.
Tâches administratives et techniques :
Responsable du DESS réseaux, applications documentaires et
images d'octobre 1993 à décembre 2001,
et à nouveau d'avril 2009 à septembre 2012 : master professionnel
réseaux, applications documentaires et ingenierie de la sécurité
Avec l'équipe pédagogique, définition et évolution des
programmes
Organisation pratique
Sélection des candidats.
Responsable des stages en entreprise pour cette formation
Participation au déploiement d'IPv6
Architecture réseau
En liaison avec l'équipe d'administration réseau
Organisation de conférences IPv6 à Caen : 2003, 2006 et 2013