Bienvenue!

Bienvenu sur ma maison-page. Je suis Kim Nguyễn, maître de conférences à l'Université Paris-Saclay. Je suis membre du LMF, dans l'équipe Calcul, Langages et Compilation. Ma recherche se porte essentiellement sur la théorie et l'implémentation des langages de programmation et en particulier sur les systèmes de types pour les langages dynamiques.