Habilitations

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

Eryk Kopczyński (Uniwersytet Warszawski)

Spektra zadań logicznych a obrazy Parikha języków formalnych

Status: Accepted Awarding date: June 25, 2020 Field: informatics Reviewers: dr hab. Wiesław Szwast (Uniwersytet Opolski); prof. Rohit Parikh (CUNY, USA); dr hab. Jan Otop (Uniwersytet Wrocławski) Faculty resolution

Paweł Parys (Uniwersytet Warszawski)

Nieograniczoność a rekurencja wyższego rzędu

Status: Accepted Awarding date: May 14, 2020 Field: informatics Reviewers: dr hab. Dariusz Biernacki (Uniwersytet Wrocławski); prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Paweł Urzyczyn (Uniwersytet Warszawski) Faculty resolution

Ewa Szczurek (Uniwersytet Warszawski)

Modelowanie interakcji genów w nowotworach

Status: Accepted Awarding date: Feb. 6, 2020 Field: informatics Reviewers: prof. dr hab. Piotr Formanowicz (Politechnika Poznańska); prof. Christoph Dieterich (Univrsity of Heidelberg, Niemcy); dr hab. Teresa Przytycka (National Center for Biotechnology Information, USA) Faculty resolution

Iwona Chlebicka (Uniwersytet Warszawski)

Bardzo słabe rozwiązania równań różniczkowych z niestandardowym wzrostem

Status: Accepted Awarding date: Dec. 19, 2019 Field: mathematics Reviewers: dr hab. Jarosław Mederski (Instytut Matematyczny PAN); dr hab. Tomasz Adamowicz (Instytut Matematyczny PAN); prof. Piotr Rybka (Uniwersytet Warszawski)

Paweł Goldstein (Uniwersytet Warszawski)

Niezmienniki topologiczne w analizie geometrycznej

Status: Accepted Awarding date: April 11, 2019 Field: mathematics Reviewers: prof. dr hab. Piotr Rybka; dr hab. Tomasz Adamowicz (Instytut Matematyczny PAN); dr hab. Sławomir Dinew (Uniwersytet Jagielloński w Krakowie)

Benjamin Warhurst (Uniwersytet Warszawski)

Aspekty sub-Riemannowskiej geometrii

Status: Accepted Awarding date: April 3, 2019 Field: mathematics Reviewers: prof. Piotr Hajłasz (University of Pittsburgh); prof. Janusz Grabowski (Instytut Matematyczny PAN); prof. Davide Vittone (Uniwersytet w Padwie)

Konrad Iwanicki (Uniwersytet Warszawski)

Dependable Routing in Low-PowerWireless Networks

Status: Accepted Awarding date: Feb. 21, 2019 Field: informatics Reviewers: prof. Maciej Liśkiewicz (Uniwersytet w Lubece); dr hab. Tomasz Jurdziński (Uniwersytet Wrocławski); dr hab. Marek Klonowski (Politechnika Wrocławska)

Błażej Miasojedow (Uniwersytet Warszawski)

Analiza zbieżności wybranych markowowskich algorytmów Monte Carlo

Status: Accepted Awarding date: Feb. 21, 2019 Field: mathematics Reviewers: dr hab. Katarzyna Horbacz (Uniwersytet Śląski w Katowicach); prof. Zbigniew Palmowski ((Politechnika Wrocławska); dr hab. Piotr Pokarowski (Uniwersytet Warszawski)