Status: PrzyznanaData nadania: 29 kwietnia 2021W zakresie informatykiUchwałaRecenzenci: dr hab. Katarzyna Paluch (Uniwersytet Wrocławski); dr hab. Bartosz Walczak (Uniwersytet Jagielloński w Krakowie); dr hab. Dominik Ślęzak (Uniwersytet Warszawski)
Funktory lokalizacji - ich istnienie, konstrukcje, zagadnienie reflektywności podkategorii
Status: PrzyznanaData nadania: 25 lutego 2021W zakresie matematykiUchwałaRecenzenci: prof. Marek Golasiński (Uniwersytet Warimńsko-Mazurski w Olsztynie); prof. Bronisław Wajnryb (Politechnika Rzeszowska); prof. Jiri Rosicky (Masaryk Univesity)
Algorytmy wyszukiwania wzorca w niepewnych tekstach
Status: PrzyznanaData nadania: 19 listopada 2020W zakresie informatykiUchwałaRecenzenci: dr hab. Tomasz Krawczyk (Uniwersytet Jagielloński w Krakowie); dr hab. Katarzyna Paluch (Uniwersytet Wrocławski); dr hab. Sebastian Deorowicz (Politechnika Śląska)
Problemy algorytmiczne i kombinatoryczne dla powtórzeń w drzewach
Status: PrzyznanaData nadania: 24 września 2020W zakresie informatykiUchwałaRecenzenci: dr hab. Jakub Kozik (Uniwersytet Jagielloński w Krakowie); dr hab. Jarosław Byrka (Uniwersytet Wrocławski); dr hab. Szymon Grabowski (Politechnika Łódzka)
Problemy separowalności i osiągalności w systemach nieskończenie stanowych
Status: PrzyznanaData nadania: 24 września 2020W zakresie informatykiUchwałaRecenzenci: dr hab. Lidia Tendera (Uniwersytet Opolski); prof. Andrzej Szepietowski (Uniwersytet Gdański); dr hab. Artur Jeż (Uniwersytet Wrocławski)
Status: PrzyznanaData nadania: 25 czerwca 2020W zakresie informatykiUchwałaRecenzenci: dr hab. Bartosz Walczak (Uniwersytet Jagielloński w Krakowie); dr hab. Artur Jeż (Uniwersytet Wrocławski); prof. dr hab. Sławomir Lasota (Uniwersytet Warszawski)
Status: PrzyznanaData nadania: 25 czerwca 2020W zakresie informatykiUchwałaRecenzenci: prof. Ian Pratt-Hartmann (Uniwersytet Opolski); prof. Jacek Cichoń (Politechnika Wrocławska); dr hab. Emanuel Kieroński (Uniwersytet Wrocławski)
Wzbogacenie o czas systemów nieskończenie-stanowych
Status: PrzyznanaData nadania: 25 czerwca 2020W zakresie informatykiUchwałaRecenzenci: prof. Andrzej Szepietowski (Uniwersytet Gdański); dr hab. Jakub Kozik (Uniwersytet Jagielloński w Krakowie); prof. Witold Charatonik (Uniwersytet Wrocławski)
Spektra zadań logicznych a obrazy Parikha języków formalnych
Status: PrzyznanaData nadania: 25 czerwca 2020W zakresie informatykiUchwałaRecenzenci: dr hab. Wiesław Szwast (Uniwersytet Opolski); prof. Rohit Parikh (CUNY, USA); dr hab. Jan Otop (Uniwersytet Wrocławski)
Status: PrzyznanaData nadania: 14 maja 2020W zakresie informatykiUchwałaRecenzenci: dr hab. Dariusz Biernacki (Uniwersytet Wrocławski); prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Paweł Urzyczyn (Uniwersytet Warszawski)
Status: PrzyznanaData nadania: 6 lutego 2020W zakresie informatykiUchwałaRecenzenci: 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)
Bardzo słabe rozwiązania równań różniczkowych z niestandardowym wzrostem
Status: PrzyznanaData nadania: 19 grudnia 2019W zakresie matematykiRecenzenci: dr hab. Jarosław Mederski (Instytut Matematyczny PAN); dr hab. Tomasz Adamowicz (Instytut Matematyczny PAN); prof. Piotr Rybka (Uniwersytet Warszawski)
Niezmienniki topologiczne w analizie geometrycznej
Status: PrzyznanaData nadania: 11 kwietnia 2019W zakresie matematykiRecenzenci: prof. dr hab. Piotr Rybka; dr hab. Tomasz Adamowicz (Instytut Matematyczny PAN); dr hab. Sławomir Dinew (Uniwersytet Jagielloński w Krakowie)
Status: PrzyznanaData nadania: 3 kwietnia 2019W zakresie matematykiRecenzenci: prof. Piotr Hajłasz (University of Pittsburgh); prof. Janusz Grabowski (Instytut Matematyczny PAN); prof. Davide Vittone (Uniwersytet w Padwie)
Status: PrzyznanaData nadania: 21 lutego 2019W zakresie informatykiRecenzenci: prof. Maciej Liśkiewicz (Uniwersytet w Lubece); dr hab. Tomasz Jurdziński (Uniwersytet Wrocławski); dr hab. Marek Klonowski (Politechnika Wrocławska)