Doctorates

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

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 Plaskota
Reviewers: 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 Pokorny
Reviewers: 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 Dziembowski
Reviewers: prof. Damian Niwiński, prof. Jerzy Jaworski (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Summary in Polish Thesis

Maciej Obremski (Uniwersytet Warszawski)

Flexible Two-Source Extractors and their Applications

Defence date: June 6, 2013, 3 p.m. Awarding date: June 13, 2013 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Stefan Dziembowski
Reviewers: prof. Stanisław Kwapień, prof. Mirosław Kutyłowski (Politechnika Wrocławska)
Summary in Polish Thesis

Michał Matuszak (Uniwersytet Mikołaja Kopernika w Toruniu)

Bayesian Networks in Adaptation and Optimization of Behavioral Patterns

Defence date: May 20, 2013, noon Awarding date: May 23, 2013 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Jacek Miękisz
Reviewers: prof. dr hab. Sławomir Wierzchoń (Uniwersytet Gdański), prof. Timo Koski (Kungliga Tekniska Hogskolan)
Summary in Polish Thesis

Ahmed Hussein Aliwy (Uniwersytet Warszawski)

Arabic Morphosyntactic Raw Text Part of Speech Tagging System

Defence date: May 10, 2013, 11 a.m. Awarding date: May 23, 2013 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jerzy Tyszkiewicz
Reviewers: prof. Eric Atwell (University of Leeds), prof. dr hab. Zygmunt Vetulani (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Summary in Polish Thesis

Jędrzej Fulara (Uniwersytet Warszawski)

Abstract Analysis of Numerical and Container Variables

Defence date: May 9, 2013, noon Awarding date: May 23, 2013 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Tarlecki
Reviewers: dr hab. Bartosz Klin (Uniwersytet Warszawski), prof. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN)
Summary in Polish Thesis

Jarosław Piersa (Uniwersytet Mikołaja Kopernika w Toruniu)

Scale-freeness and small-world phenomenon in information – flow graphs of geometrical neural networks

Defence date: April 18, 2013, 4 p.m. Awarding date: April 25, 2013 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Bała, prof. UMK
Assistant supervisor: dr Filip Piękniewski (Uniwersytet Mikołaja Kopernika w Toruniu)
Reviewers: dr hab. Piotr Suffczyński, prof. dr hab. Leszek Rutkowski (Politechnika Częstochowska)
Summary in Polish Thesis

Wojciech Czerwiński (Uniwersytet Warszawski)

Partially-commutative context-free graphs

Defence date: March 14, 2013, 2:15 p.m. Awarding date: March 21, 2013 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Sławomir Lasota, prof. UW
Reviewers: dr hab. Mikołaj Bajańczyk, prof. UW, prof. Petr Jančar (Technical University of Ostrava)
Summary in Polish Thesis