Bienvenue!

Bienvenu sur ma maison-page. Je suis Kim Nguyễn, maître de conférences à l'Université Paris-Sud, dans l'équipe ProVal  Toccata VALS. 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.