Aleksy Andrzej Schubert
Aleksy Andrzej Schubert (urodzony w 1973 roku) to polski informatyk, który uzyskał tytuł doktora habilitowanego nauk matematycznych. Jego głównym obszarem specjalizacji jest logika matematyczna. Obecnie pełni funkcję profesora nadzwyczajnego w Instytucie Informatyki na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego.
Stopień doktorski zdobył w 2001 roku na Wydziale Matematyki, Informatyki i Mechaniki UW, na podstawie pracy zatytułowanej Zastosowanie unifikacji do problemów wyprowadzania typów, której promotorem był Paweł Urzyczyn. W 2011 roku uzyskał habilitację, opierając się na ocenie swojego dorobku naukowego oraz rozprawie pt. Unifikacja wyższego rzędu – między rozstrzygalnością a nierozstrzygalnością.
Jego dorobek naukowy obejmuje publikacje w renomowanych czasopismach, takich jak m.in. Theoretical Computer Science, Information Processing Letters, Information and Computation, CoRR, a także w serii Lecture Notes in Computer Science.
== Przypisy ==
