Anh Linh Nguyen
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].
| Data urodzenia | |
|---|---|
| doktor habilitowany nauk matematycznych | |
| Specjalność: logiki modalne i deskrypcyjne, automatyczne wnioskowanie, programowanie w logice, dedukcyjne bazy danych | |
| Alma Mater | |
| Doktorat |
2000 – informatyka |
| Habilitacja |
2009 – informatyka |
| profesor nadzwyczajny | |
| Uczelnia |
Uniwersytet Warszawski |
Życiorys
edytujStudia 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- ↑ senat.uw.edu.pl
- ↑ a b c Dr hab. Anh Linh Nguyen, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-09-09].
- ↑ dr hab. Anh Linh Nguyen prof. UW. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ dr hab. Anh Linh Nguyen prof. UW. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Linh Anh Nguyen (strona domowa). mimuw.edu.pl. [dostęp 2016-08-05]. (ang.).
- ↑ Linh Anh Nguyen (publikacje). mimuw.edu.pl. [dostęp 2016-07-29].
- ↑ dr hab. Anh Linh Nguyen (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-26].
- ↑ Linh Anh Nguyen (publikacje i cytowania). scholar.google.pl. [dostęp 2016-09-09]. (ang.).
- ↑ Anh Linh Nguyen (publikacje). dblp.uni-trier.de. [dostęp 2016-08-09]. (ang.).
- ↑ Linh Anh Nguyen (publikacje w bazie Springer Link). springer.com. [dostęp 2016-08-09]. (ang.).