Doctorates

Joanna Ochremiak (Uniwersytet Warszawski)

Extended constraint satisfaction problems

Defence date: Feb. 24, 2016, 2:15 p.m. Awarding date: Feb. 25, 2016 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Bartosz Klin
Assistant supervisor: dr Szymon Toruńczyk
Reviewers: prof. Anuj Dawar (University of Cambridge), prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie)
Thesis

Filip Mazowiecki (Uniwersytet Warszawski)

Frontiers of tractability for recursive queries

Defence date: Feb. 24, 2016, noon Awarding date: Feb. 25, 2016 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab Emanuel Kieroński (Uniwersytet Wrocławski)
Assistant supervisor: dr Filip Murlak (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: dr hab. Lidia Tendera (Uniwersytet Opolski), prof. Stephane Demri (CNRS)
Summary in Polish

Dariusz Leniowski (Uniwersytet Warszawski)

On Maintaining Online Bipartite Matchings with Augmentations

Defence date: Feb. 22, 2016, noon Awarding date: Feb. 25, 2016 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Sankowski, prof. UW
Reviewers: dr hab. Marcin Bieńkowski (Uniwersytet Wrocławski), prof. Monika Henzinger (University of Vienna)
Thesis

Michał Kaczmarczyk (Uniwersytet Warszawski)

Fragmentation in storage systems with duplicate elimination

Defence date: Jan. 28, 2016, noon Awarding date: Feb. 25, 2016 Doctor of mathematical sciences in computer sciences Supervisor: prof. Krzysztof Diks (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Assistant supervisor: dr Cezary Dubnicki (9LivesData LLC)
Reviewers: prof. dr hab. inż. Jacek Kitowski (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie), prof. dr hab. inż. Marek Tudruj (Instytut Podstaw Informatyki PAN)

Marcin Andrychowicz (Uniwersytet Warszawski)

Multiparty Computation Protocols Based on Cryptocurrencies

Defence date: Dec. 18, 2015, noon Awarding date: Jan. 21, 2016 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Stefan Dziembowski (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: dr hab. Marek Klonowski, prof. PWr. (Politechnika Wrocławska), dr hab. inż. Krzysztof Szczypiorski, prof. PW (Politechnika Warszawska)
Summary in Polish Thesis

Jan Poleszczuk (Uniwersytet Warszawski)

Exploring potential tumour growth modulating mechanisms in cells having different status of TP53 gene

Defence date: Dec. 14, 2015, 2:15 p.m. Awarding date: Dec. 17, 2015 Doctor of mathematical sciences in mathematics Supervisors: dr hab. Urszula Foryś (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), dr hab. n. med. Maria Wideł (Politechnika Śląska w Gliwicach)
Reviewers: prof. Bogdan Lesyng (Wydział Fizyki UW), prof. Andrzej Świerniak (Politechnika Śląska w Gliwicach)
Thesis

Marcin Małogrosz (Uniwersytet Warszawski)

Mathematical analysis of morphogen transport models

Defence date: Oct. 19, 2015, 4:30 p.m. Awarding date: Nov. 19, 2015 Doctor of mathematical sciences in mathematics Supervisors: prof. dr hab. Dariusz Wrzosek (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Philippe Laurencot (Uniwersytet w Tuluzie)
Reviewers: prof. Anna Marciniak-Czochra (IWR, Heidelberg), dr hab. Agnieszka Świerczewska-Gwiazda (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Thesis

Ali Rezaei Divroodi (Uniwersytet Warszawski)

Bisimulation Equivalence in Description Logics and Its Applications

Defence date: Oct. 20, 2015, 11 a.m. Awarding date: Oct. 22, 2015 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Linh Anh Nguyen (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: prof. Wojciech Penczek (Instytut Podstaw Informatyki PAN), dr hab. Lidia Tendera (Uniwersytet Opolski)
Thesis

Nathanaёl Fijalkow (LIAFA i WMIM UW)

Counting and Randomising in Automata Theory

Defence date: Oct. 16, 2015, 2 p.m. Awarding date: Oct. 22, 2015 Doctor of mathematical sciences in computer sciences Supervisors: prof. dr hab. Mikołaj Bojańczyk (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Thomas Colcombet (University Paryż 7, Francja)
Reviewers: prof. Wolfgang Thomas (RWTH Aachen University), prof. Antonín Kučera (Masaryk University, Brno)
Thesis

Piotr Minakowski (Uniwersytet Warszawski)

Fluid model of crystal plasticity - mathematical properties and computer simulations

Defence date: Sept. 30, 2015, 2 p.m. Awarding date: Oct. 22, 2015 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Piotr Gwiazda
Co-supervisor: prof. Josef Málek (Charles University in Prague)
Reviewers: prof. dr hab. inż. Henryk Petryk (Instytut Podstawowych Problemów Techniki PAN), prof. Endre Suli (University of Oxford)
Thesis

Grzegorz Marczyński (Uniwersytet Warszawski)

Specifications of Software Architectures using Diagrams of Constructions

Defence date: July 3, 2015, 4:30 p.m. Awarding date: Sept. 24, 2015 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Tarlecki (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: dr hab. Bartosz Klin (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. dr hab. Thorsten Altenkirch (University of Nottingham)
Thesis

Michał Woźniak (Uniwersytet Warszawski)

Computational aspects of presence of drug resistance mechanisms

Defence date: June 16, 2015, 2:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in computer sciences Supervisors: prof. dr hab. Jerzy Tiuryn (Uniwersytet Warszawski), prof. Limsoon Wong (National University of Singapore)
Reviewers: prof. dr hab. Bogdan Lesyng (Wydział Fizyki UW), prof. dr hab. Andrzej Polański (Politechnika Śląska)
Thesis

Filip Klawe (Uniwersytet Warszawski)

Mathematical analysis of thermo-visco-elastic models

Defence date: June 11, 2015, 3 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in mathematics Supervisor: prof. Piotr Gwiazda
Assistant supervisor: dr hab. Agnieszka Świerczewska-Gwiazda
Reviewers: prof. Tadeusz Nadzieja (Uniwersytet Opolski), prof. Irena Pawłow-Niezgódka (Instytut Badań Systemowych PAN)
Thesis

Stanisław Szawiel (Uniwersytet Warszawski)

A Unified Approach to Opetopic Algebra

Defence date: June 11, 2015, 2:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Marek Zawadowski
Reviewers: prof. Martin Hyland (University of Cambridge), dr hab. Bartosz Klin (Uniwersytet Warszawski)
Thesis

Paweł Rzążewski (Politechnika Warszawska)

Exact algorithms for graph-theoretic frequency assignment problems

Defence date: June 11, 2015, 4:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in computer sciences Supervisor: prof. Zbigniew Lonc (Politechnika Warszawska)
Assistant supervisor: dr Konstanty Junosza-Szaniawski (Politechnika Warszawska)
Reviewers: dr hab. inż. Dariusz Dereniowski (Politechnika Gdańska), dr hab. Michał Hanćkowiak (Uniwersytet A.Mickiewicza)
Thesis