Komputerowo wspomagana analiza złożoności problemów algorytmicznych na przykładach gry Mastermind i sortowania przez porównywanie
Status: PrzyznanaData nadania: 30 września 2021W zakresie informatykiUchwałaRecenzenci: 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)
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: 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)
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)
Analiza zbieżności wybranych markowowskich algorytmów Monte Carlo
Status: PrzyznanaData nadania: 21 lutego 2019W zakresie matematykiRecenzenci: dr hab. Katarzyna Horbacz (Uniwersytet Śląski w Katowicach); prof. Zbigniew Palmowski ((Politechnika Wrocławska); dr hab. Piotr Pokarowski (Uniwersytet Warszawski)
Teoriogrowe modele odporności sieci i konfliktów rozproszonych
Status: PrzyznanaData nadania: 18 października 2018W zakresie informatykiRecenzenci: prof. Paul Spirakis (University of Liverpool); prof. dr hab. Jacek Cichoń (Politechnika Wrocławska); prof. dr Krzysztof Apt (Uniwersytet Warszawski)
Dualność i zjawisko formalności w kategoriach funktorów
Status: PrzyznanaData nadania: 27 września 2018W zakresie matematykiRecenzenci: prof. Grzegorz Banaszak (Uniwersytet im. Adama Mickiewicza w Poznaniu); prof. Stefan Jackowski (Uniwersytet Warszawski); prof. Antoine Touzé (Uniwersytet w Lille)
Status: PrzyznanaData nadania: 24 maja 2018W zakresie matematykiRecenzenci: dr hab. Anna Talarczyk-Noble (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego); dr hab. Łukasz Kruk (UMCS); dr hab. Jacek Małecki (Politechnika Wrocławska)