Eryk Kopczyński (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 25 czerwca 2020 W zakresie: informatyki Recenzenci: dr hab. Wiesław Szwast (Uniwersytet Opolski); prof. Rohit Parikh (CUNY, USA); dr hab. Jan Otop (Uniwersytet Wrocławski) Uchwała

Paweł Parys (Uniwersytet Warszawski)

Nieograniczoność a rekurencja wyższego rzędu

Status: Przyznana Data nadania: 14 maja 2020 W zakresie: informatyki Recenzenci: dr hab. Dariusz Biernacki (Uniwersytet Wrocławski); prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Paweł Urzyczyn (Uniwersytet Warszawski) Uchwała

Ewa Szczurek (Uniwersytet Warszawski)

Modelowanie interakcji genów w nowotworach

Status: Przyznana Data nadania: 6 lutego 2020 W zakresie: informatyki Recenzenci: 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) Uchwała

Iwona Chlebicka (Uniwersytet Warszawski)

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

Status: Przyznana Data nadania: 19 grudnia 2019 W zakresie: matematyki Recenzenci: 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: Przyznana Data nadania: 11 kwietnia 2019 W zakresie: matematyki Recenzenci: 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: Przyznana Data nadania: 3 kwietnia 2019 W zakresie: matematyki Recenzenci: 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: Przyznana Data nadania: 21 lutego 2019 W zakresie: informatyki Recenzenci: 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: Przyznana Data nadania: 21 lutego 2019 W zakresie: matematyki Recenzenci: dr hab. Katarzyna Horbacz (Uniwersytet Śląski w Katowicach); prof. Zbigniew Palmowski ((Politechnika Wrocławska); dr hab. Piotr Pokarowski (Uniwersytet Warszawski)

Marcin Dziubiński (Uniwersytet Warszawski)

Teoriogrowe modele odporności sieci i konfliktów rozproszonych

Status: Przyznana Data nadania: 18 października 2018 W zakresie: informatyki Recenzenci: prof. Paul Spirakis (University of Liverpool); prof. dr hab. Jacek Cichoń (Politechnika Wrocławska); prof. dr Krzysztof Apt (Uniwersytet Warszawski)

Marcin Chałupnik (Uniwersytet Warszawski)

Dualność i zjawisko formalności w kategoriach funktorów

Status: Przyznana Data nadania: 27 września 2018 W zakresie: matematyki Recenzenci: prof. Grzegorz Banaszak (Uniwersytet im. Adama Mickiewicza w Poznaniu); prof. Stefan Jackowski (Uniwersytet Warszawski); prof. Antoine Touzé (Uniwersytet w Lille)

Piotr Miłoś (Uniwersytet Warszawski)

Procesy gałązkowe i powierzchnie losowe

Status: Przyznana Data nadania: 24 maja 2018 W zakresie: matematyki Recenzenci: 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)

Marek Cygan (Uniwersytet Warszawski)

Algorytmy dla hiperskojarzeń

Status: Przyznana Data nadania: 1 marca 2018 W zakresie: informatyki

Anna Zatorska-Goldstein (Uniwersytet Warszawski)

Odwrotne nierówności Höldera w nieliniowych zagadnieniach eliptycznych i problemach wariacyjnych

Status: Przyznana Data nadania: 23 listopada 2017 W zakresie: matematyki

Artur Korniłowicz (Uniwersytet w Bialymstoku)

Nowe techniki komputerowej formalizacji i weryfikacji dowodów matematycznych w Mizarze

Status: Przyznana Data nadania: 26 stycznia 2017 W zakresie: informatyki Recenzenci: prof. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. Paweł Urzyczyn (Uniwersytet Warszawski)

Anna Kuczmaszewska (Politechnika Lubelska)

Prawie pewna i kompletna zbieżność w prawie wielkich liczb dla zależnych zmiennych losowych

Status: Przyznana Data nadania: 26 stycznia 2017 W zakresie: matematyki Recenzenci: prof. Tomasz Szarek (Uniwersytet Gdański); dr hab. Zbigniew Szewczak (Uniwersytet Mikołaja Kopernika w Toruniu); prof. Rafał Latała (Uniwersytet Warszawski)