Aleksy Schubert

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]}.