91滴滴

Magister stosunk贸w mi臋dzynarodowych, specjalno艣膰: nauki polityczne (2008), magister matematyki, specjalno艣膰: matematyka teoretyczna (2018), doktor nauk humanistycznych w zakresie filozofii, specjalno艣膰: logika filozoficzna (2013). Na stanowisku adiunkta w wymiarze 1/4 etatu zatrudniony od pa藕dziernika 2014 roku, za艣 w pe艂nym wymiarze - od pa藕dziernika 2015 r.

Od 20 czerwca 2020 r. do 19 czerwca 2023 r. przebywa艂em na urlopie bezp艂atnym zwi膮zanym z zatrudnieniem na stanowisku badawczym na Wydziale Informatyki Uniwersytetu Oksfordzkiego.

W swojej pracy badawczej zajmuj臋 si臋 szeroko rozumian膮 logik膮 matematyczn膮 i filozoficzn膮, ze szczeg贸lnym uwzgl臋dnieniem logik modalnych i nieklasycznych, z艂o偶ono艣ci膮 obliczeniow膮, automatycznym dowodzeniem twierdze艅, reprezentacj膮 wiedzy i rozumowa艅, metodologi膮 nauk.

Zainteresowania pozazawodowe obejmuj膮 muzyk臋 jazzow膮 i klasyczn膮, literatur臋 pi臋kn膮 i gatunkow膮, pi艂k臋 siatkow膮 oraz tenis (w tej kolejno艣ci) w wydaniu zawodniczym i kibicowskim.

Jestem laureatem Stypendium Ministra dla Najlepszych Student贸w (2009) oraz Stypendium Ministra dla Najlepszych Doktorant贸w (2013).

Kierowa艂em finansowanym przez Narodowe Centrum Nauki Projektem "Systemy dedukcyjne i problem rozstrzygalno艣ci dla logik hybrydowych".

By艂em lub jestem wykonawc膮 w czterech projektach badawczych finansowanych przez Narodowe Centrum Nauki.

Od czerwca 2020 r. do czerwca 2023 r. by艂em zatrudniony jako senior research associate na Wydziale Informatyki (Department of Computer Science) Uniwersytetu Oksfordzkiego.

By艂em promotorem pomocniczym obronionej z wyr贸偶nieniem w lutym 2021 r. rozprawy doktorskiej "Sub-propositional Fragments of Halpern-Shoham Logic: Between Expressiveness and Complexity" dr. Przemys艂awa Wa艂臋gi (Uniwersytet Warszawski / Uniwersytet Oksfordzki).