Doctorates

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

Andrzej Janusz (Uniwersytet Warszawski)

Algorithms for Similarity Relation Learning from High Dimensional Data

Defence date: Feb. 17, 2014, 2:15 p.m. Awarding date: March 13, 2014 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Hung Son Nguyen
Reviewers: prof. dr hab. Andrzej Szałas (Uniwersytet Warszawski), prof. dr hab. Henryk Rybiński (Politechnika Warszawska)
Summary in Polish Thesis

Jakub Derbisz (Uniwersytet Warszawski)

Access structures and elliptic curve cryptosystems

Defence date: Dec. 16, 2013, noon Awarding date: Dec. 19, 2013 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Jacek Pomykała
Reviewers: dr hab. Stefan Dziembowski, prof. dr hab. Zbigniew Jelonek
Summary in Polish Thesis

Karol Pąk (Uniwersytet w Białymstoku)

Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji

Defence date: Nov. 28, 2013, 10:15 a.m. Awarding date: Nov. 28, 2013 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Aleksy Schubert
Reviewers: dr hab. Anh Linh Nguyen, prof. UW, dr hab. Tomasz Połacik (Uniwersytet Śląski)
Summary in Polish Thesis

Agnieszka Ulikowska (Uniwersytet Warszawski)

Structured population models in metric spaces

Defence date: Nov. 18, 2013, 12:10 p.m. Awarding date: Nov. 28, 2013 Doctor of mathematical sciences in mathematics Supervisors: dr hab. Piotr Gwiazda, prof. UW, prof. Anna Marciniak-Czochra
Reviewers: prof. dr hab. Dariusz Wrzosek, prof. dr hab. Adam Bobrowski
Summary in Polish Thesis

Gloria Virginia (Uniwersytet Warszawski)

Towards the Semantic Text Retrieval for Indonesian

Defence date: Nov. 7, 2013, 10:30 a.m. Awarding date: Nov. 28, 2013 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Hung Son Nguyen, prof. UW
Reviewers: prof. dr hab. Andrzej Skowron, prof. dr hab. Jarosław Stepaniuk
Summary in Polish Thesis

Krzysztof Jakubczyk (Uniwersytet Warszawski)

Source Code Analysis Techniques in Property Verification of Real Java Code

Defence date: Nov. 14, 2013, 10:15 a.m. Awarding date: Nov. 28, 2013 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Aleksy Schubert
Reviewers: prof. Andrzej Tarlecki, dr hab. Piotr Kosiuczenko (Wojskowa Akademia Techniczna)
Summary in Polish Thesis

Maria Donten-Bury (Uniwersytet Warszawski)

Constructing algebraic varieties via finite group actions

Defence date: Oct. 25, 2013, 2:15 p.m. Awarding date: Nov. 28, 2013 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. J. Wiśniewski
Reviewers: dr hab. Mariusz Koras, prof. Klaus Altmann
Summary in Polish Thesis

Anna Kwiatkowska (Uniwersytet Mikołaja Kopernika w Toruniu)

Umieszczanie zbiorów częściowo uporządkowanych w książce o minimalnej liczbie stron

Defence date: Oct. 17, 2013, 2:15 p.m. Awarding date: Oct. 24, 2013 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Maciej Sysło
Reviewers: prof. dr hab. Wojciech Rytter, prof. dr hab. Andrzej Kisielewicz
Summary in Polish Thesis