Habilitations

Piotr Skowron (Uniwersytet Warszawski)

Aksjomatyczne i algorytmiczne własności reguł wyboru komitetów

Status: Accepted Awarding date: Jan. 27, 2022 Field: informatics Reviewers: dr hab. Marcin Bieńkowski (Uniwersytet Wrocławski); prof. dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. Saket Saurabh (The Institute of Mathematical Sciences HBNI, Chennai, India); dr hab. Bartosz Walczak (Uniwersytet Jagielloński w Krakowie) Faculty resolution

Sławomir Kolasiński (Uniwersytet Warszawski)

Eliptyczne geometryczne zagadenienia wariacyjne

Status: Accepted Awarding date: Oct. 28, 2021 Field: mathematics Reviewers: dr hab. Marek Galewski (Politechnika Łódzka); dr hab. Przemysław Górka (Politechnika Warszawska); prof. Camillo De Lellis (Institute for Advanced Study, Princeton); prof. dr hab. Leszek Skrzypczak (Uniwersytet im. Adama Mickiewicza w Poznaniu) Faculty resolution

Cezary Kaliszyk (Uniwersytet Warszawski)

Automatyczne wnioskowanie wspomagane uczeniem maszynowym

Status: Accepted Awarding date: Oct. 28, 2021 Field: informatics Reviewers: dr hab. Marcin Kozik (Uniwersytet Jagielloński w Krakowie); dr hab. Artur Jeż (Uniwersytet Wrocławski); prof. Andrzej Szałas (Uniwersytet Warszawski) Faculty resolution

Piotr Nayar (Uniwersytet Warszawski)

Nierówności dla ciał wypukłych log-wklęsłych

Status: Accepted Awarding date: Sept. 30, 2021 Field: mathematics Reviewers: prof. dr hab. Dariusz Buraczewski (Uniwersytet Wrocławski); dr hab. Anna Dudek (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie); dr hab. Tomasz Jakubowski (Politechnika Wrocławska); prof. Aleksander Litvak (University of Alberta) Faculty resolution

Michał Pilipczuk (Uniwersytet Warszawski)

Drzewiaste grafy: algorytmy, kombinatoryka i logika

Status: Accepted Awarding date: Sept. 30, 2021 Field: informatics Reviewers: dr hab. Jarosław Byrka (Uniwersytet Wrocławski); prof. Chandra Chekuri (University of Illinois, Urbana-Champaign); prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Leszek Pacholski (Uniwersytet Wrocławski) Faculty resolution

Ewelina Turkedjiev (Imperial College London)

Istnienie i asymptotyka rozwiązań dla niestandardowych modeli przepływów ściśliwych

Status: Accepted Awarding date: Sept. 30, 2021 Field: mathematics Reviewers: prof. dr hab. Grzegorz Karch (Uniwersytet Wrocławski); dr hab. Piotr Kalita (Uniwersytet Jagielloński w Krakowie); dr hab. Joanna Rencławowicz (Instytut Matematyczny PAN); dr hab. Ewa Zadrzyńska-Piętka (Politechnika Warszawska) Faculty resolution

Marcin Peczarski (Uniwersytet Warszawski)

Komputerowo wspomagana analiza złożoności problemów algorytmicznych na przykładach gry Mastermind i sortowania przez porównywanie

Status: Accepted Awarding date: Sept. 30, 2021 Field: informatics Reviewers: dr hab. Bartłomiej Bosek (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Zbigniew Lonc (Politechnika Warszawska); prof. dr hab. Daniel Simson (Uniwersytet Mikołaja Kopernika w Toruniu); prof. dr hab. Andrzej Szepietowski (Uniwersytet Gdański) Faculty resolution

Jakub Pawlewicz (Uniwersytet Warszawski)

Computer Hex

Status: Accepted Awarding date: April 29, 2021 Field: informatics Reviewers: dr hab. Katarzyna Paluch (Uniwersytet Wrocławski); dr hab. Bartosz Walczak (Uniwersytet Jagielloński w Krakowie); dr hab. Dominik Ślęzak (Uniwersytet Warszawski) Faculty resolution

Adam Przeździecki (Uniwersytet Warszawski)

Funktory lokalizacji - ich istnienie, konstrukcje, zagadnienie reflektywności podkategorii

Status: Accepted Awarding date: Feb. 25, 2021 Field: mathematics Reviewers: prof. Marek Golasiński (Uniwersytet Warimńsko-Mazurski w Olsztynie); prof. Bronisław Wajnryb (Politechnika Rzeszowska); prof. Jiri Rosicky (Masaryk Univesity) Faculty resolution

Jakub Radoszewski (Uniwersytet Warszawski)

Algorytmy wyszukiwania wzorca w niepewnych tekstach

Status: Accepted Awarding date: Nov. 19, 2020 Field: informatics Reviewers: dr hab. Tomasz Krawczyk (Uniwersytet Jagielloński w Krakowie); dr hab. Katarzyna Paluch (Uniwersytet Wrocławski); dr hab. Sebastian Deorowicz (Politechnika Śląska) Faculty resolution

Tomasz Waleń (Uniwerystet Warszawski)

Problemy algorytmiczne i kombinatoryczne dla powtórzeń w drzewach

Status: Accepted Awarding date: Sept. 24, 2020 Field: informatics Reviewers: dr hab. Jakub Kozik (Uniwersytet Jagielloński w Krakowie); dr hab. Jarosław Byrka (Uniwersytet Wrocławski); dr hab. Szymon Grabowski (Politechnika Łódzka) Faculty resolution

Wojciech Czerwiński (Uniwersytet Warszawski)

Problemy separowalności i osiągalności w systemach nieskończenie stanowych

Status: Accepted Awarding date: Sept. 24, 2020 Field: informatics Reviewers: dr hab. Lidia Tendera (Uniwersytet Opolski); prof. Andrzej Szepietowski (Uniwersytet Gdański); dr hab. Artur Jeż (Uniwersytet Wrocławski) Faculty resolution

Michał Skrzypczak (Uniwersytet Warszawski)

Słabe formy niedeterminizmu w teorii automatów

Status: Accepted Awarding date: June 25, 2020 Field: informatics Reviewers: dr hab. Bartosz Walczak (Uniwersytet Jagielloński w Krakowie); dr hab. Artur Jeż (Uniwersytet Wrocławski); prof. dr hab. Sławomir Lasota (Uniwersytet Warszawski) Faculty resolution

Szymon Toruńczyk (Uniwersytet Warszawski)

Obliczenia w strukturach nieskończonych

Status: Accepted Awarding date: June 25, 2020 Field: informatics Reviewers: prof. Ian Pratt-Hartmann (Uniwersytet Opolski); prof. Jacek Cichoń (Politechnika Wrocławska); dr hab. Emanuel Kieroński (Uniwersytet Wrocławski) Faculty resolution

Lorenzo Clemente (Uniwersytet Warszawski)

Wzbogacenie o czas systemów nieskończenie-stanowych

Status: Accepted Awarding date: June 25, 2020 Field: informatics Reviewers: prof. Andrzej Szepietowski (Uniwersytet Gdański); dr hab. Jakub Kozik (Uniwersytet Jagielloński w Krakowie); prof. Witold Charatonik (Uniwersytet Wrocławski) Faculty resolution