Institute of Informatics
University of Warsaw
nguyen@mimuw.edu.pl
(+48) 22 55-44-440

• Associate Professor, Institute of Informatics, University of Warsaw.
• Education: M.Sc. 1997, Ph.D. 2000, Dr.Sc. 2009, all in Computer Science and from the University of Warsaw.
• Citizenships: Vietnamese and Polish.

• DBLP Entry
• MIMUW Entry
• List Sorted by Areas
• Theses

• TGC2: Tableaux with Global Caching - a Reasoner for Modal and Description Logics
• TGC 1.2 : An Efficient Tableau Prover using Global Caching for the Description Logic ALC
• MProlog : A Modal Logic Programming System