Comprendre la programmation concurrente (concepts fondamentaux, aspects théoriques et pratiques) et son utilisation pour l'expression d'algorithmes, justifier la programmation réactive pour la conservation du déterminisme , maitriser le modèle client/serveur (protocoles, ressources utilisées, modèles à n-acteurs) , savoir déployer des objets répartis (coût des appels distants, gestion mémoire, sécurité).
Expérience du responsable dans le domaine de l’UE
Mes thèmes de recherche sont articulés autour des langages fonctionnels statiquement typés, en particulier du langage Caml. Ces travaux s'inscrivent dans le développement d'environnement de programmation (compilation efficace, interopérabilité et aide au développement), dans la réalisation d'applications justifiant l'utilisation de tels langages et dans l'intégration d'autres paradigmes de programmation (parallélisme, programmation par objets) dans le cadre confortable du typage statique.
