Welcome on my homepage. I'm Kim Nguyễn. I'm an assistant professor at Université Paris-Sud 11 in the ProVal team. My research focuses on theory and implementation of programming languages, with a severe bias towards data-oriented languages and in particular XML oriented PL. My main interests at the moment are type systems for XML, tree automata, and type driven optimizations for XML languages.