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.
