Doctorates

Alina Powała (Uniwersytet Warszawski)

Modeling dialogues in multiagent systems: a paraconsistent approach

Defence date: July 11, 2016, 12:15 p.m. Awarding date: Oct. 29, 2016 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Barbara Dunin-Kęplicz
Reviewers: dr hab. Katarzyna Budzyńska (Instytut Filozofii i Socjologii PAN), dr hab. Radosław Katarzyniak (Politechnika Wrocławska)
Thesis

Maciej Dziemiańczuk (Uniwersytet Gdański)

Counting lattice paths

Defence date: Oct. 20, 2016, 4:15 p.m. Awarding date: Oct. 27, 2016 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Szepietowski (Uniwersytet Gdański)
Reviewers: prof. dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie), prof. dr hab. Jerzy Jaworski (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Thesis

Jan Peszek (Uniwersytet Warszawski)

Collective dynamics of interacting particles

Defence date: Sept. 19, 2016, noon Awarding date: Sept. 29, 2016 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Piotr Bogusław Mucha
Reviewers: prof. dr hab. inż. Jacek Banasiak (Politechnika Łódzka), prof. dr hab. Tomasz Komorowski (Uniwersytet Marii Curie-Skłodowskiej w Lublinie), Opiniodawca: prof. doc. Milan Pokorny (Uniwersytet Karola w Pradze)
Thesis

Son Thanh Cao (Uniwersytet Warszawski)

Methods for evaluating queries to Horn knowledge bases in first-order logic

Defence date: June 22, 2016, 12:15 p.m. Awarding date: June 23, 2016 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Anh Linh Nguyen
Assistant supervisor: dr hab. Joanna Golińska-Pilarek
Reviewers: prof. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN), dr hab. Emanuel Kieroński (Uniwersytet Wrocławski)
Thesis

Aleksandra Boniewicz (Uniwersytet Mikołaja Kopernika w Toruniu)

Optymalizacja warstwy dostępu do danych w aplikacjach korzystających z odwzorowań obiektowo-relacyjnych

Defence date: June 22, 2016, 2:15 p.m. Awarding date: June 23, 2016 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Krzysztof Stencel
Assistant supervisor: dr hab. Piotr Wiśniewski (Uniwersytet Mikołaja Kopernika w Toruniu)
Reviewers: prof. dr hab. Stanisław Kozielski (Politechnika Śląska), dr hab. inż. Robert Wrembel (Politechnika Poznańska)
Summary in Polish Thesis

Michał Dębski (Uniwersytet Warszawski)

Strong chromatic index of graphs

Defence date: May 18, 2016, 2 p.m. Awarding date: May 19, 2016 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie)
Reviewers: prof. Andrzej Ruciński (Uniwersytet im. Adama Mickiewicza w Poznaniu), prof. Mariusz Woźniak (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Thesis

Małgorzata Jastrzębska (Uniwersytet Warszawski)

Kraty anihilatorów w pewnych klasach algebr

Defence date: April 7, 2016, 2:15 p.m. Awarding date: April 14, 2016 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Jan Krempa
Reviewers: prof. dr hab. Czesław Bagiński (Politechnika Białostocka), dr hab. Jerzy Matczuk (Uniwersytet Warszawski)
Thesis

Paweł Pasteczka (Uniwersytet Warszawski)

Analytic methods in inequalities concerning means (Analityczne metody w nierównościach dotyczących średnich)

Defence date: March 10, 2016, 2:15 p.m. Awarding date: April 14, 2016 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Piotr Mormul, prof. UW (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: prof. dr hab. Janusz Matkowski (Uniwersytet Zielonogórski), prof. dr hab. Krzysztof Bogdan (Politechnika Wrocławska)
Summary in Polish Thesis

Anna Gogolińska (Uniwersytet Mikołaja Kopernika w Toruniu)

Algorithms Inspired by Petri Nets in Modeling of Complex Biological Systems

Defence date: March 3, 2016, 2:15 p.m. Awarding date: April 14, 2016 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Wiesław Nowak
Reviewers: dr hab. inż. Piotr Formanowicz (Politechnika Poznańska), dr hab. Joanna Trylska, prof. UW
Thesis

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