Doctorates

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

Marek Nowicki (Uniwersytet Mikołaja Kopernika w Toruniu)

Opracowanie nowych metod programowania równoległego w Javie w oparciu o paradygmat PGAS (Partitioned Global Address Space)

Defence date: June 11, 2015, 2:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Bała
Assistant supervisor: dr Michał Chlebiej
Reviewers: dr hab. inż. Paweł T. Wojciechowski (Politechnika Poznańska), prof. dr hab. inż. Marek Tudruj (Instytut Podstaw Informatyki PAN)
Thesis

Karol Pryszczepko (Uniwersytet w Białymstoku)

Przemienne pierścienie filialne

Defence date: May 28, 2015, 2:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Ryszard Andruszkiewicz (Uniwersytet w Białymstoku)
Reviewers: prof. dr hab. Piotr Grzeszczuk (Politechnika Białostocka), prof. dr hab. Jan Okniński (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)

Łukasz Czajka (Uniwersytet Warszawski)

Semantic consistency proofs for systems of illative combinatory logic

Defence date: June 1, 2015, 12:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Paweł Urzyczyn (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie), prof. Herman Geuvers (Radboud University)
Thesis

Jakub Łącki (Uniwersytet Warszawski)

Dynamic Graph Algorithms for Connectivity Problems

Defence date: May 28, 2015, 2:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Sankowski
Reviewers: dr hab. Marcin Bieńkowski, prof. Italiano Giuseppe
Thesis