Doctorates

Agnieszka Polak (Uniwersytet Mikołaja Kopernika w Toruniu)

Zastosowanie algorytmów kombinatorycznych i numerycznych w klasyfikacji orbit P-krytycznych bigrafow, TP-krytycznych posetów oraz sieciowych kołczanów pierwiastków

Defence date: Dec. 11, 2014, 2 p.m. Awarding date: Dec. 18, 2014 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Daniel Simson (Uniwersytet Mikołaja Kopernika w Toruniu)
Reviewers: prof. dr hab. Wojciech Rytter (Uniwersytet Warszawski), prof. dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie), prof. dr hab. Jan Dymara (Uniwersytet Wrocławski)
Thesis

Michał Skrzypczak (Uniwersytet Warszawski)

Descriptive set theoretic methods in automata theory

Defence date: Dec. 4, 2014, 2 p.m. Awarding date: Dec. 18, 2014 Doctor of mathematical sciences in computer sciences Supervisors: prof. dr hab. Mikołaj Bojańczyk, dr hab. Igor Walkiewicz (Universite de Bordeaux)
Reviewers: dr hab. Leszek Kołodziejczyk (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Jacques Duparc (Universite de Lausanne)
Thesis

Jędrzej Jabłoński (Uniwersytet Warszawski)

Structured population models for predator-prey interactions. The case of Daphnia and size selective planktivorous fish

Defence date: Nov. 24, 2014, noon Awarding date: Nov. 27, 2014 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Dariusz Wrzosek (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: dr hab. Jacek Miękisz, prof. UW, prof. dr hab. Ryszard Rudnicki (Instytut Matematyczny PAN)
Summary in Polish Thesis

Arkadiusz Męcel (Uniwersytet Warszawski)

Półgrupa klas sprzężoności ideałów lewostronnych algebry łącznej

Defence date: Nov. 20, 2014, noon Awarding date: Nov. 27, 2014 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Jan Okniński (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: prof. dr hab. Jan Krempa, prof. dr hab. Daniel Simson (Uniwersytet Mikołaja Kopernika w Toruniu)
Thesis

Przemysław Krysztowiak (Uniwersytet Mikołaja Kopernika w Toruniu)

Problem liczby skoków w zbiorach częściowo uporządkowanych. Kombinatoryczne algorytmy aproksymacyjne, przeszukiwanie wyczerpujące i złożoność obliczeniowa

Defence date: Nov. 20, 2014, 4 p.m. Awarding date: Nov. 27, 2014 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Maciej Sysło (Uniwersytet Mikołaja Kopernika w Toruniu)
Reviewers: dr hab. Marcin Mucha (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), dr hab. Jarosław Byrka (Uniwersytet Wrocławski)
Thesis

Piotr Przymus (Uniwersytet Mikołaja Kopernika w Toruniu)

Query optimization in hybrid CPU/GPU environment for time series databases

Defence date: Oct. 29, 2014, noon Awarding date: Nov. 27, 2014 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Krzysztof Stencel (Uniwersytet Warszawski)
Assistant supervisor: dr Krzysztof Kaczmarski (Wydział Matematyki i Nauk Informacyjnych Politechniki Warszawskiej)
Reviewers: prof. Gunter Saake (Uniwersytet w Magdeburgu), dr hab. Witold Rudnicki (ICM UW)
Summary in Polish Thesis

Oskar Skibski (Uniwersytet Warszawski)

Shapley value for games with externalities and games on graphs

Defence date: Oct. 16, 2014, 4 p.m. Awarding date: Oct. 23, 2014 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Szałas
Assistant supervisor: dr Tomasz Michalak
Reviewers: prof. Krzysztof Apt (Uniwersytet Amsterdamski), dr hab. inż. Piotr Faliszewski (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Thesis

Agnieszka Bodzenta-Skibińska (Uniwersytet Warszawski)

DG categories and derived categories of coherent sheaves

Defence date: Sept. 29, 2014, noon Awarding date: Oct. 23, 2014 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Adrian Langer
Co-supervisor: prof. Alexey Bondal
Reviewers: dr hab. Andrzej Weber (Uniwersytet Warszawski), prof. Alexander Kuznetsov (Rosyjska Akademia Nauk)
Thesis

Piotr Dittwald (Uniwersytet Warszawski)

Computational methods for large-scale data in medical diagnostics

Defence date: Sept. 29, 2014, 2:15 p.m. Awarding date: Oct. 23, 2014 Doctor of mathematical sciences in computer sciences Supervisors: dr hab. Anna Gambin, prof. UW, dr hab. Paweł Stankiewicz (Baylor College of Medicine, USA)
Reviewers: dr hab. Izabela Makałowska (Uniwersytet im. Adama Mickiewicza w Poznaniu), prof. dr hab. Marek Kimmel (Politechnika Śląska)
Summary in Polish Thesis

Tomasz Idziaszek (Uniwersytet Warszawski)

Algebraic methods in the theory of infinite trees (Metody algebraiczne w teorii języków drzew nieskończonych)

Defence date: June 30, 2014, 4 p.m. Awarding date: Sept. 25, 2014 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Mikołaj Bojańczyk (Uniwersytet Warszawski)
Reviewers: prof. dr hab. Damian Niwiński (Uniwersytet Warszawski), dr hab. Lidia Tendera (Uniwersytet Opolski)
Summary in Polish Thesis

Konrad Durnoga (Uniwersytet Warszawski)

Non-malleable Randomness Extractors (Niekowalne ekstraktory losowości)

Defence date: June 10, 2014, 12:30 p.m. Awarding date: June 12, 2014 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Jacek Pomykała
Reviewers: prof. dr hab. Daniel Simson, dr hab. Mieczysław Kula
Summary in Polish Thesis

Piotr Amit Nayar (Uniwersytet Warszawski)

Bounds on sums of random vectors

Defence date: May 16, 2014, 11 a.m. Awarding date: June 12, 2014 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Krzysztof Oleszkiewicz
Assistant supervisor: dr hab. Adam Osękowski
Reviewers: prof. dr hab. Piotr Mankiewicz (Instytut Matematyczny PAN), prof. dr hab. Zbigniew Palmowski (Uniwersytet Wrocławski)
Summary in Polish Thesis

Karol Cwalina (Uniwersytet Warszawski)

Additive problems in abelian groups

Defence date: May 8, 2014, 2:15 p.m. Awarding date: May 15, 2014 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Tomasz Schoen (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Reviewers: dr hab. Mariusz Skałba (Uniwersytet Warszawski), prof. dr hab. Andrzej Schinzel (Instytut Matematyczny PAN)
Summary in Polish Thesis

Janusz Dybizbański (Uniwersytet Gdański)

Liczby Ramseya z cyklem C4

Defence date: March 27, 2014, 2:15 p.m. Awarding date: April 10, 2014 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Andrzej Szepietowski, prof. UG
Reviewers: dr hab. Mirosław Kowaluk (Uniwersytet Warszawski), prof. dr hab. Andrzej Ruciński (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Summary in Polish Thesis

Piotr Hofman (Uniwersytet Warszawski)

Equivalence of infinite-state systems with silent steps

Defence date: March 6, 2014, 4 p.m. Awarding date: March 13, 2014 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Sławomir Lasota
Reviewers: dr hab. Aleksy Schubert (Uniwersytet Warszawski), prof. dr hab. Wojciech Penczek (Instytut Podstaw Informatyki PAN)
Summary in Polish Thesis