Doctorates

Jean-Florent Raymond (Uniwersytet Warszawski i Université de Montpellier (Francja))

Structural and algorithmic aspects of partial orderings of graphs

Defence date: Nov. 18, 2016, 2 p.m. Awarding date: Nov. 24, 2016 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Marcin Kamiński (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Assistant supervisor: dr hab. Dimitrios M. Thilikos (Université de Montpellier 2, Francja)
Reviewers: dr Petr Golovach (Uniwersytet w Bergen, Norwegia), dr hab. Nicolas Nisse (INRIA Sophia Antipolis, Francja)
Thesis

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