Aleksy Schubert
Data urodzenia |
1973 |
---|---|
doktor habilitowany nauk matematycznych | |
Specjalność: logika matematyczna | |
Alma Mater |
Uniwersytet Warszawski |
Doktorat |
2001 – informatyka |
Habilitacja |
2011 – informatyka |
profesor nadzwyczajny | |
Uczelnia |
Uniwersytet Warszawski |
Aleksy Andrzej Schubert (ur. 1973[1]) – polski informatyk, doktor habilitowany nauk matematycznych. Specjalizuje się w logice matematycznej. Profesor nadzwyczajny Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[2][3][4][5].
Stopień doktorski uzyskał na Wydziale Matematyki, Informatyki i Mechaniki UW w 2001 na podstawie pracy pt. Zastosowanie unifikacji do problemów wyprowadzania typów, przygotowanej pod kierunkiem Pawła Urzyczyna[6]. Habilitował się w 2011 na podstawie oceny dorobku naukowego i rozprawy pt. Unifikacja wyższego rzędu - między rozstrzygalnością a nierozstrzygalnością[2].
Swoje prace publikował w takich czasopismach jak m.in. „Theoretical Computer Science”, „Information Processing Letters”, „Information and Computation”, „CoRR” oraz w serii „Lecture Notes in Computer Science”[7][8][9][10][11][12][13].
Przypisy[edytuj | edytuj kod]
- ↑ Moje Państwo. [dostęp 2017-03-01]. [zarchiwizowane z tego adresu (2017-03-02)].
- ↑ a b Dr hab. Aleksy Andrzej Schubert, [w:] baza „Ludzie nauki” portalu Nauka Polska (OPI PIB) [dostęp 2016-09-08] .
- ↑ dr hab. Aleksy Schubert. usosweb.uw.edu.pl. [dostęp 2016-06-18].
- ↑ dr hab. Aleksy Schubert. mimuw.edu.pl. [dostęp 2016-07-14].
- ↑ Aleksy Schubert (strona domowa). mimuw.edu.pl. [dostęp 2016-08-18]. (ang.).
- ↑ Aleksy Schubert. Mathematics Genealogy Project. [dostęp 2016-09-08]. (ang.).
- ↑ Aleksy Schubert (publikacje). mimuw.edu.pl. [dostęp 2016-07-13].
- ↑ Aleksy Schubert (publikacje). bibliografia.icm.edu.pl. [dostęp 2016-07-14].
- ↑ dr hab. Aleksy Andrzej Schubert (publikacje). pbn.nauka.gov.pl. [dostęp 2016-07-14].
- ↑ Aleksy Schubert (publikacje i cytowania). scholar.google.pl. [dostęp 2016-08-11].
- ↑ Aleksy Schubert (publikacje). dblp.uni-trier.de. [dostęp 2016-08-18]. (ang.).
- ↑ Aleksy Schubert (publikacje). researchgate.net. [dostęp 2016-08-23]. (ang.).
- ↑ Aleksy Schubert (publikacje). arxiv.org. [dostęp 2016-09-07]. (ang.).