Institute of Informatics
University of Warsaw
Room 4400
Banacha 2, 02-097 Warsaw
Poland
nguyen@mimuw.edu.pl
(+48) 22 55-44-440

• Assistant 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.
• I am one of the most active researchers in:
  • modal logic programming
  • Horn fragments of modal and description logics
  • tableau decision procedures with global caching for modal and description logics.

• Automated Reasoning in Modal and Description Logics
• Rule Languages for Modal and Description Logics
  • Modal Logic Programming
  • Modal Deductive Databases
  • Horn Fragments of Modal and Description Logics
  • Nonmonotonic Rule Languages
• Description Logics and Semantic Web
• Multiagent Systems and Artificial Intelligence
• Automated Reasoning and Logic Programming in Classical First-Order Logic

• MIMUW Entry,  DBLP Entry,  List Sorted by Areas
• Other papers:  Technical Reports,  Theses

• MProlog : A Modal Logic Programming System
• TGC 1.2 : An Efficient Tableau Prover using Global Caching for the Description Logic ALC

• Wykład:
  • Semantyczny Internet (2010/12 Z)
  • Semantyczny Internet (2009/10 Z, razem z prof. Andrzejem Szałasem)
• Seminarium:
  • Systemy inteligentne (2008-2010, razem z prof. Andrzejem Szałasem)
• Ćwiczenia / laboratorium:
  • Wnioskowanie w serwisach i systemach informatycznych (ĆW, 2009-2011 L)
  • Semantyczny Internet (LAB, 2009-2012 Z)
  • Podstawy matematyki (ĆW, 2009-2012 Z)
  • Wstęp do informatyki (ĆW, 2001-2008, 2009-2012 Z)
  • Wstęp do informatyki II (ĆW, 2001-2009, 2010/11 L)
  • Sztuczna inteligencja i systemy doradcze (ĆW, 2003-2011 L)
  • Sztuczna inteligencja i systemy doradcze - laboratorium (LAB, 2002-2009 L)
  • Programowanie w logice (ĆW, 2001-2009 Z)
  • Programowanie w logice - laboratorium (LAB, 2001-2009 Z)
  • Języki, automaty i obliczenia (ĆW, 2003-2007 Z)
  • Logika (ĆW, 2003/04 L)
  • Bazy danych (ĆW, 2001/02 Z)
  • Bazy danych - laboratorium (LAB, 2001/02 Z)
• (Brak danych z roku akademickiego 2000/01)