Welcome!

Welcome to my homepage. I'm Kim Nguyễn, an assistant professor at Université Paris-Sud in the ProVal Toccata VALS 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.