Doctorates

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)
Thesis

Ł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

Aleksander Jankowski (Uniwersytet Warszawski)

Modeling transcription factor complex binding to eukaryotic genomes

Defence date: May 14, 2015, 2:10 p.m. Awarding date: May 21, 2015 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jerzy Tiuryn
Reviewers: prof. dr hab. Bogdan Lesyng (Wydział Fizyki UW), prof. Sven Rahmann (Uniwersytet Duisburg-Essen)
Thesis

Maciej Sykulski (Uniwersytet Warszawski)

Data analysis and modeling in human genomics (Analiza i modelowanie danych w genomice człowieka)

Defence date: April 13, 2015, noon Awarding date: April 23, 2015 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Anna Gambin, prof. UW
Reviewers: prof. dr hab. Wojciech Niemiro, prof. dr hab. Marta Pasenkiewicz-Gierula
Thesis