Alina Powała (Uniwersytet Warszawski)

Modeling dialogues in multiagent systems: a paraconsistent approach

Data obrony: 11 lipca 2016 12:15 Data nadania: 29 października 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Barbara Dunin-Kęplicz
Recenzenci: dr hab. Katarzyna Budzyńska (Instytut Filozofii i Socjologii PAN), dr hab. Radosław Katarzyniak (Politechnika Wrocławska)
Rozprawa

Maciej Dziemiańczuk (Uniwersytet Gdański)

Counting lattice paths

Data obrony: 20 października 2016 16:15 Data nadania: 27 października 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Szepietowski (Uniwersytet Gdański)
Recenzenci: prof. dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie), prof. dr hab. Jerzy Jaworski (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Rozprawa

Jan Peszek (Uniwersytet Warszawski)

Collective dynamics of interacting particles

Data obrony: 19 września 2016 12:00 Data nadania: 29 września 2016 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Piotr Bogusław Mucha
Recenzenci: 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)
Rozprawa

Son Thanh Cao (Uniwersytet Warszawski)

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

Data obrony: 22 czerwca 2016 12:15 Data nadania: 23 czerwca 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Anh Linh Nguyen
Promotor pomocniczy: dr hab. Joanna Golińska-Pilarek
Recenzenci: prof. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN), dr hab. Emanuel Kieroński (Uniwersytet Wrocławski)
Rozprawa

Aleksandra Boniewicz (Uniwersytet Mikołaja Kopernika w Toruniu)

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

Data obrony: 22 czerwca 2016 14:15 Data nadania: 23 czerwca 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Krzysztof Stencel
Promotor pomocniczy: dr hab. Piotr Wiśniewski (Uniwersytet Mikołaja Kopernika w Toruniu)
Recenzenci: prof. dr hab. Stanisław Kozielski (Politechnika Śląska), dr hab. inż. Robert Wrembel (Politechnika Poznańska)
Autoreferat w języku polskim Rozprawa

Michał Dębski (Uniwersytet Warszawski)

Strong chromatic index of graphs

Data obrony: 18 maja 2016 14:00 Data nadania: 19 maja 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie)
Recenzenci: prof. Andrzej Ruciński (Uniwersytet im. Adama Mickiewicza w Poznaniu), prof. Mariusz Woźniak (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Rozprawa

Małgorzata Jastrzębska (Uniwersytet Warszawski)

Kraty anihilatorów w pewnych klasach algebr

Data obrony: 7 kwietnia 2016 14:15 Data nadania: 14 kwietnia 2016 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Jan Krempa
Recenzenci: prof. dr hab. Czesław Bagiński (Politechnika Białostocka), dr hab. Jerzy Matczuk (Uniwersytet Warszawski)
Rozprawa

Paweł Pasteczka (Uniwersytet Warszawski)

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

Data obrony: 10 marca 2016 14:15 Data nadania: 14 kwietnia 2016 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Piotr Mormul, prof. UW (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Recenzenci: prof. dr hab. Janusz Matkowski (Uniwersytet Zielonogórski), prof. dr hab. Krzysztof Bogdan (Politechnika Wrocławska)
Autoreferat w języku polskim Rozprawa

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

Algorithms Inspired by Petri Nets in Modeling of Complex Biological Systems

Data obrony: 3 marca 2016 14:15 Data nadania: 14 kwietnia 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Wiesław Nowak
Recenzenci: dr hab. inż. Piotr Formanowicz (Politechnika Poznańska), dr hab. Joanna Trylska, prof. UW
Rozprawa

Joanna Ochremiak (Uniwersytet Warszawski)

Extended constraint satisfaction problems

Data obrony: 24 lutego 2016 14:15 Data nadania: 25 lutego 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Bartosz Klin
Promotor pomocniczy: dr Szymon Toruńczyk
Recenzenci: prof. Anuj Dawar (University of Cambridge), prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie)
Rozprawa

Filip Mazowiecki (Uniwersytet Warszawski)

Frontiers of tractability for recursive queries

Data obrony: 24 lutego 2016 12:00 Data nadania: 25 lutego 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab Emanuel Kieroński (Uniwersytet Wrocławski)
Promotor pomocniczy: dr Filip Murlak (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Recenzenci: dr hab. Lidia Tendera (Uniwersytet Opolski), prof. Stephane Demri (CNRS)
Autoreferat w języku polskim

Dariusz Leniowski (Uniwersytet Warszawski)

On Maintaining Online Bipartite Matchings with Augmentations

Data obrony: 22 lutego 2016 12:00 Data nadania: 25 lutego 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Piotr Sankowski, prof. UW
Recenzenci: dr hab. Marcin Bieńkowski (Uniwersytet Wrocławski), prof. Monika Henzinger (University of Vienna)
Rozprawa

Michał Kaczmarczyk (Uniwersytet Warszawski)

Fragmentation in storage systems with duplicate elimination

Data obrony: 28 stycznia 2016 12:00 Data nadania: 25 lutego 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. Krzysztof Diks (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Promotor pomocniczy: dr Cezary Dubnicki (9LivesData LLC)
Recenzenci: 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

Data obrony: 18 grudnia 2015 12:00 Data nadania: 21 stycznia 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Stefan Dziembowski (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Recenzenci: dr hab. Marek Klonowski, prof. PWr. (Politechnika Wrocławska), dr hab. inż. Krzysztof Szczypiorski, prof. PW (Politechnika Warszawska)
Autoreferat w języku polskim Rozprawa

Jan Poleszczuk (Uniwersytet Warszawski)

Exploring potential tumour growth modulating mechanisms in cells having different status of TP53 gene

Data obrony: 14 grudnia 2015 14:15 Data nadania: 17 grudnia 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotorzy: dr hab. Urszula Foryś (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), dr hab. n. med. Maria Wideł (Politechnika Śląska w Gliwicach)
Recenzenci: prof. Bogdan Lesyng (Wydział Fizyki UW), prof. Andrzej Świerniak (Politechnika Śląska w Gliwicach)
Rozprawa