dr hab. Anh Linh Nguyen, prof. ucz.

Afiliacja

profesor uczelni, Instytut Informatyki

Zainteresowania

Logiki modalne, logiki deskrypcyjne, automatyczne wnioskowanie, języki regułowe, dedukcyjne bazy danych

Mail

N.A.Linh@mimuw.edu.pl

Telefon

55-44-440

Pokój

4400

Prywatna strona domowa*

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

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

poniedziałek, 14:00 - 15:00

*Uniwersytet Warszawski nie odpowiada za treści publikowane na stronach domowych pracowników.

Publikacje

• Publikacje (134)

Dziedziny badań

• Bazy danych
  Dedukcyjne bazy danych
• Inżynieria oprogramowania
  Programowanie w logice, logiki multimodalne
• Logika w informatyce
  Logiki modalne, logiki dla baz danych
• Sztuczna inteligencja i systemy wieloagentowe
  Logika modalna, logika deskrypcyjna, wnioskowanie automatyczne, dedukcyjne bazy danych

Komisje, rady

• Rada Wydziału - Profesorowie i dr hab.
• Rada Instytutu Informatyki - Rada Instytutu Informatyki_2024

Granty

• Zaawansowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ontologii.
  Finansowany przez: Narodowe Centrum Nauki
• Teoria programowania w logikach modalnych i deskrypcyjnych
  Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego