Kim Nguyen

Nguyễn Kim

Associate Professor, Laboratoire Méthodes Formelles (Computer Science), Université Paris-Saclay · Gif-sur-Yvette, France

Computer & Information SciencesTenure-line

Edit this entry

Research areas

Programming Languages
Type Systems
Formal Methods
XML and Functional Programming

Education and training

Postdoctoral training: National ICT Australia, 2010
PhD: Université Paris-Sud 11, 2008
MS: Université Paris-Sud 11, 2004