Welcome!

Welcome to my homepage. I'm Kim Nguyễn, an assistant professor at Université Paris-Saclay. I'm a member of the LMF, in the Calculi, Languages and Compilation Team. My research focuses on theory and implementation of programming languages, and in particular type systems for dynamic languages.