Anh Linh Nguyen

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania
Anh Linh Nguyen
Data urodzenia 1973
doktor habilitowany nauk matematycznych
Specjalność: logiki modalne i deskrypcyjne, automatyczne wnioskowanie, programowanie w logice, dedukcyjne bazy danych
Alma Mater Uniwersytet Warszawski
Doktorat 2000 – informatyka
Uniwersytet Warszawski
Habilitacja 2009 – informatyka
Uniwersytet Warszawski
profesor nadzwyczajny
Uczelnia Uniwersytet Warszawski

Anh Linh Nguyen (wiet. Nguyễn Anh Linh; ur. 1973[1]) – wietnamsko-polski informatyk, doktor habilitowany nauk matematycznych. Specjalizuje się w logikach modalnych i deskrypcyjnych, wnioskowaniu automatycznym, programowaniu w logice oraz w dedukcyjnych bazach danych. Profesor nadzwyczajny w Instytucie Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[2][3][4][5].

Życiorys[edytuj | edytuj kod]

Studia informatyczne ukończył na Wydziale Matematyki, Informatyki i Mechaniki UW w 1997 (praca magisterska: Algorytmy deskolemizacji i ich zastosowania). Stopień doktorski uzyskał w roku 2000 na podstawie pracy pt. Wnioskowanie w logikach modalnych: nowe wyniki i ich zastosowanie w modalnych dedukcyjnych bazach danych (ang. Results on Modal Reasoning with Applications to Modal Deductive Databases), przygotowanej pod kierunkiem prof. Andrzeja Szałasa[2]. Habilitował się w 2009 na podstawie oceny dorobku naukowego i rozprawy pt. Wybrane zagadnienia semantyczne i obliczeniowe programowania w logikach modalnych (ang. Selected Semantic and Computational Aspects of Modal Logic Programming)[2]. Poza macierzystym UW wykłada także[od kiedy?] jako profesor w Państwowej Wyższej Szkole Zawodowej im. Prezydenta Stanisława Wojciechowskiego w Kaliszu.

Swoje prace publikował w takich czasopismach jak m.in. „Fundamenta Informaticae”, „Data & Knowledge Engineering”, „Neurocomputing", „Vietnam Journal of Computer Science" oraz „Information Sciences”[6][7][8][9][10].

Przypisy[edytuj | edytuj kod]

  1. senat.uw.edu.pl
  2. a b c Anh Linh Nguyen w bazie „Ludzie nauki” portalu Nauka Polska (OPI).
  3. dr hab. Anh Linh Nguyen prof. UW. usosweb.uw.edu.pl. [dostęp 2016-06-18].
  4. dr hab. Anh Linh Nguyen prof. UW. mimuw.edu.pl. [dostęp 2016-07-14].
  5. Linh Anh Nguyen (strona domowa) (ang.). mimuw.edu.pl. [dostęp 2016-08-05].
  6. Linh Anh Nguyen (publikacje). mimuw.edu.pl. [dostęp 2016-07-29].
  7. dr hab. Anh Linh Nguyen (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-26].
  8. Linh Anh Nguyen (publikacje i cytowania) (ang.). scholar.google.pl. [dostęp 2016-09-09].
  9. Anh Linh Nguyen (publikacje) (ang.). dblp.uni-trier.de. [dostęp 2016-08-09].
  10. Linh Anh Nguyen (publikacje w bazie Springer Link) (ang.). springer.com. [dostęp 2016-08-09].