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.

News

11-14-2015: Today is a sad one for my town, my country and indeed the World. This humble webpage is mourning the death of hundreds.

06-19-2014: I'm a proud PC member of both: BDA 2014 and JFLA 2015. Please submit papers to both!

01-15-2013: I'm delighted to be a PC Member of WebDB 2013.

10-01-2012: I'm delighted to be a guest lecturer at JFLA 2013.

08-27-2012: I'm PC member of PADL 2013.

03-21-2011: I'm PC member of DBPL 2011.