Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > NGUYEN Kim
About LRI
Mr NGUYEN Kim
NGUYEN Maître de Conférences
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

Tel : 01 69 15 64 50
Fax :
Office : 34/PCRI-S

Personal web page : www.lri.fr/~kn/
Email : Kim.Nguyen@lri.fr

Research activities
   - Data-Centric Languages and Systems
   - Compilation and code optimization

Publications




Leadership positions
   - Web committee member


Highlights
   - Static and Dynamic Semantics of NoSQL Languages, accepted at ACM POPL 2013
   - Optimizing XML querying using type-based document projection

Software & Patents
   - CDuce: CDuce an XML centric Programmimg Language


Ph.D. dissertations & Faculty habilitations
Ph.D   - Langage de combinateurs pour XML : conception, typage, implantation

Contracts & Grants
   - Typex