Aleksy Schubert
Data urodzenia
|
1973
|
doktor habilitowany nauk matematycznych
|
Specjalność: logika matematyczna
|
Alma Mater
|
Uniwersytet Warszawski
|
Doktorat
|
2001 – informatyka Uniwersytet Warszawski
|
Habilitacja
|
2011 – informatyka Uniwersytet Warszawski
|
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
Identyfikatory zewnętrzne: