Doctorates
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 OleszkiewiczAssistant 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. UGReviewers: 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 LasotaReviewers: 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 NguyenReviewers: 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łaReviewers: 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 SchubertReviewers: 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-CzochraReviewers: 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. UWReviewers: 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 SchubertReviewers: 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śniewskiReviewers: 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łoReviewers: prof. dr hab. Wojciech Rytter, prof. dr hab. Andrzej Kisielewicz
Summary in Polish Thesis
Paweł Siedlecki (Uniwersytet Warszawski)
Uniform Weak Tractability of Multivariate Problems
Defence date: Sept. 20, 2013, 2 p.m. Awarding date: Sept. 26, 2013 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Leszek PlaskotaReviewers: prof. dr hab. Henryk Woźniakowski, prof. dr hab. Bolesław Kacewicz (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Summary in Polish Thesis
Ewelina Zatorska (Uniwersytet Warszawski)
Fundamental problems to equations of compressible chemically reacting flows
Defence date: Sept. 20, 2013, noon Awarding date: Sept. 26, 2013 Doctor of mathematical sciences in mathematics Supervisors: prof. dr hab. Piotr Mucha, dr hab. Milan PokornyReviewers: dr hab. Piotr Gwiazda, prof. Eduard Feireisl
Summary in Polish Thesis
Tomasz Kazana (Uniwersytet Warszawski)
Security against space-restricted physical attacks
Defence date: June 12, 2013, noon Awarding date: June 13, 2013 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Stefan DziembowskiReviewers: prof. Damian Niwiński, prof. Jerzy Jaworski (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Summary in Polish Thesis