dr hab. Anh Linh Nguyen, prof. ucz.

Affiliation

profesor uczelni, Institute of Informatics

Mail

N.A.Linh@mimuw.edu.pl

Phone

55-44-440

Room

4400

Website

http://www.mimuw.edu.pl/~nguyen

Other information

Employee's page on USOSweb

Office hours (availability for students)

środa, 11:00 - 12:00

Publications

• Publications list (135)

Fields of research

• Artificial Intelligence and Multiagent Systems
  Modal logic, description logic, automated reasoning, deductive databases
• Databases
  Deductive databases
• Logic in Computer Science
  
• Software Engineering
  Logic programming, multimodal logic programming

Commissions, councils

• Faculty Council - Electoral College
• Institute of Informatics Council - Rada Instytutu Informatyki_2024

Grants

• Advanced Reasoning Methods and Optimization Techniques for the Problems of Ontology Classification and Consistency Checking of Ontologies
  Financed by: National Science Center
• A theory of logic programming in modal and description logics
  Financed by: Ministry of Science and Higher Education