UPMC  >  UFR ingénierie >  LIP6 >  APR



Activités de Recherches

Mon activité de recherche est articulée autour des langages de programmation, principalement les langages fonctionnels statiquement typés et en particulier le langage Caml. Le but est de concilier programmation efficace, parallèle et sûre.

Collaborations et projets récents

Etudiants en thèse

Groupe de Travail

Le groupe de travail Programmation a démarré ces activités à l'automne 2004; il cherche à réunir toutes les deux semaines des chercheurs franciliens sur des thématiques de programmation.

Publications

depuis octobre 2006 au LIP6;, et à partir de HAL- UPMC : lien