Doctorates

Dominika Pawlik (Uniwersytet Warszawski)

Brzegi Gromowa grup hiperbolicznych jako granice odwrotne ciągów wielościanów

Defence date: May 8, 2017, noon Awarding date: May 25, 2017 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Jacek Świątkowski (Uniwersytet Wrocławski)
Assistant supervisor: dr Damian Osajda (Instytut Matematyczny PAN)
Reviewers: dr hab. Jan Dymara (Uniwersytet Wrocławski), prof. dr hab. Stanisław Spież (Instytut Matematyczny PAN)

Michał Przybyłek (Uniwersytet Warszawski)

Analysis and construction of logical systems: a category-theoretic approach

Defence date: April 26, 2017, 12:15 p.m. Awarding date: April 27, 2017 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Tarlecki
Reviewers: dr hab. Marek Zawadowski (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. dr. Jaap van Oosten (Utrecht University), prof. dr. Bart Jacobs (Radboud University Nijmegen)

Gabriela Majewska (Uniwersytet Warszawski)

Beta-skeletons - parametrized proximity graph

Defence date: Dec. 20, 2016, 1:30 p.m. Awarding date: Jan. 26, 2017 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Mirosław Kowaluk
Reviewers: dr hab. Paweł Żyliński (Uniwersytet Gdański), prof. dr Rolf Klein (Universität Bonn)

Karol Kurach (Uniwersytet Warszawski)

Deep Neural Architectures for Algorithms and Sequential Data

Defence date: Dec. 22, 2016, 1:15 p.m. Awarding date: Jan. 26, 2017 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Hung Son Nguyen
Reviewers: prof. dr hab. Włodzisław Duch (Uniwersytet Mikołaja Kopernika w Toruniu), prof. dr hab. inż. Leszek Rutkowski (Politechnika Częstochowska)
Thesis

Paweł Betliński (Uniwersytet Warszawski)

Bayesian Network Approximation from Local Structures

Defence date: Dec. 6, 2016, 2:15 p.m. Awarding date: Dec. 15, 2016 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Dominik Ślęzak
Reviewers: prof. dr hab. inż. Jacek Koronacki (Instytut Podstaw Informatyki PAN), prof. dr hab. inż. Wojciech Niemiro
Thesis

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