Piotr Skowron (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 27 stycznia 2022 W zakresie: informatyki Recenzenci: 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) Uchwała

Sławomir Kolasiński (Uniwersytet Warszawski)

Eliptyczne geometryczne zagadenienia wariacyjne

Status: Przyznana Data nadania: 28 października 2021 W zakresie: matematyki Recenzenci: 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) Uchwała

Cezary Kaliszyk (Uniwersytet Warszawski)

Automatyczne wnioskowanie wspomagane uczeniem maszynowym

Status: Przyznana Data nadania: 28 października 2021 W zakresie: informatyki Recenzenci: dr hab. Marcin Kozik (Uniwersytet Jagielloński w Krakowie); dr hab. Artur Jeż (Uniwersytet Wrocławski); prof. Andrzej Szałas (Uniwersytet Warszawski) Uchwała

Piotr Nayar (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 30 września 2021 W zakresie: matematyki Recenzenci: 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) Uchwała

Michał Pilipczuk (Uniwersytet Warszawski)

Drzewiaste grafy: algorytmy, kombinatoryka i logika

Status: Przyznana Data nadania: 30 września 2021 W zakresie: informatyki Recenzenci: 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) Uchwała

Ewelina Turkedjiev (Imperial College London)

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

Status: Przyznana Data nadania: 30 września 2021 W zakresie: matematyki Recenzenci: 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) Uchwała

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: Przyznana Data nadania: 30 września 2021 W zakresie: informatyki Recenzenci: 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) Uchwała

Jakub Pawlewicz (Uniwersytet Warszawski)

Computer Hex

Status: Przyznana Data nadania: 29 kwietnia 2021 W zakresie: informatyki Recenzenci: dr hab. Katarzyna Paluch (Uniwersytet Wrocławski); dr hab. Bartosz Walczak (Uniwersytet Jagielloński w Krakowie); dr hab. Dominik Ślęzak (Uniwersytet Warszawski) Uchwała

Adam Przeździecki (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 25 lutego 2021 W zakresie: matematyki Recenzenci: prof. Marek Golasiński (Uniwersytet Warimńsko-Mazurski w Olsztynie); prof. Bronisław Wajnryb (Politechnika Rzeszowska); prof. Jiri Rosicky (Masaryk Univesity) Uchwała

Jakub Radoszewski (Uniwersytet Warszawski)

Algorytmy wyszukiwania wzorca w niepewnych tekstach

Status: Przyznana Data nadania: 19 listopada 2020 W zakresie: informatyki Recenzenci: dr hab. Tomasz Krawczyk (Uniwersytet Jagielloński w Krakowie); dr hab. Katarzyna Paluch (Uniwersytet Wrocławski); dr hab. Sebastian Deorowicz (Politechnika Śląska) Uchwała

Tomasz Waleń (Uniwerystet Warszawski)

Problemy algorytmiczne i kombinatoryczne dla powtórzeń w drzewach

Status: Przyznana Data nadania: 24 września 2020 W zakresie: informatyki Recenzenci: dr hab. Jakub Kozik (Uniwersytet Jagielloński w Krakowie); dr hab. Jarosław Byrka (Uniwersytet Wrocławski); dr hab. Szymon Grabowski (Politechnika Łódzka) Uchwała

Wojciech Czerwiński (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 24 września 2020 W zakresie: informatyki Recenzenci: dr hab. Lidia Tendera (Uniwersytet Opolski); prof. Andrzej Szepietowski (Uniwersytet Gdański); dr hab. Artur Jeż (Uniwersytet Wrocławski) Uchwała

Michał Skrzypczak (Uniwersytet Warszawski)

Słabe formy niedeterminizmu w teorii automatów

Status: Przyznana Data nadania: 25 czerwca 2020 W zakresie: informatyki Recenzenci: dr hab. Bartosz Walczak (Uniwersytet Jagielloński w Krakowie); dr hab. Artur Jeż (Uniwersytet Wrocławski); prof. dr hab. Sławomir Lasota (Uniwersytet Warszawski) Uchwała

Szymon Toruńczyk (Uniwersytet Warszawski)

Obliczenia w strukturach nieskończonych

Status: Przyznana Data nadania: 25 czerwca 2020 W zakresie: informatyki Recenzenci: prof. Ian Pratt-Hartmann (Uniwersytet Opolski); prof. Jacek Cichoń (Politechnika Wrocławska); dr hab. Emanuel Kieroński (Uniwersytet Wrocławski) Uchwała

Lorenzo Clemente (Uniwersytet Warszawski)

Wzbogacenie o czas systemów nieskończenie-stanowych

Status: Przyznana Data nadania: 25 czerwca 2020 W zakresie: informatyki Recenzenci: prof. Andrzej Szepietowski (Uniwersytet Gdański); dr hab. Jakub Kozik (Uniwersytet Jagielloński w Krakowie); prof. Witold Charatonik (Uniwersytet Wrocławski) Uchwała