L'objectif de cette UE est de présenter les techniques de base pour la recherche (étude bibliographique, présentations scientifique, rédaction d'états de l'art). Ces activités seront centrés dans le domaine des applications réparties (modélisation, vérification, réalisation).
Expérience du responsable dans le domaine de l’UE
Diplômé du doctorat de l'UPMC en 1992 puis d'une habilitation à diriger des recherches en 1992, mes activités de recherche se situent au confluent des méthodes formelles, des systèmes répartis et du génie Logiciel. J'ai lancé de nombreuses directions de recherche et encadre simultanément 6 à 7 thèses d'Université (dont certaines en collaboration avec de jeunes docteurs).
