Michał Zawidzki

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).