Bienvenu sur ma maison-page. Je suis Kim Nguyễn. Je suis maître de conférences à l'Université Paris-Sud 11, dans l'équipe Démons/Proval. J'étudie la théorie et l'implantation des langages de programmation, plus spécialement (de manière complètement éhontée) les langages orientés données, en particulier les langages de programmation pour XML. Je me concentre en ce moment sur les systèmes de types pour XML, les automates d'arbres et les optimizations basées sur le typage.