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)

Marcin Dziubiński (Uniwersytet Warszawski)

Teoriogrowe modele odporności sieci i konfliktów rozproszonych

Status: Accepted Awarding date: Oct. 18, 2018 Field: informatics Reviewers: 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: Accepted Awarding date: Sept. 27, 2018 Field: mathematics Reviewers: 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: Accepted Awarding date: May 24, 2018 Field: mathematics Reviewers: 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: Accepted Awarding date: March 1, 2018 Field: informatics

Anna Zatorska-Goldstein (Uniwersytet Warszawski)

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

Status: Accepted Awarding date: Nov. 23, 2017 Field: mathematics

Artur Korniłowicz (Uniwersytet w Bialymstoku)

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

Status: Accepted Awarding date: Jan. 26, 2017 Field: informatics Reviewers: 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: Accepted Awarding date: Jan. 26, 2017 Field: mathematics Reviewers: prof. Tomasz Szarek (Uniwersytet Gdański); dr hab. Zbigniew Szewczak (Uniwersytet Mikołaja Kopernika w Toruniu); prof. Rafał Latała (Uniwersytet Warszawski)