Dominika Pawlik (Uniwersytet Warszawski)

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

Data obrony: 8 maja 2017 12:00 Data nadania: 25 maja 2017 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Jacek Świątkowski (Uniwersytet Wrocławski)
Promotor pomocniczy: dr Damian Osajda (Instytut Matematyczny PAN)
Recenzenci: 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

Data obrony: 26 kwietnia 2017 12:15 Data nadania: 27 kwietnia 2017 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Tarlecki
Recenzenci: 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

Data obrony: 20 grudnia 2016 13:30 Data nadania: 26 stycznia 2017 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Mirosław Kowaluk
Recenzenci: 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

Data obrony: 22 grudnia 2016 13:15 Data nadania: 26 stycznia 2017 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Hung Son Nguyen
Recenzenci: prof. dr hab. Włodzisław Duch (Uniwersytet Mikołaja Kopernika w Toruniu), prof. dr hab. inż. Leszek Rutkowski (Politechnika Częstochowska)
Rozprawa

Paweł Betliński (Uniwersytet Warszawski)

Bayesian Network Approximation from Local Structures

Data obrony: 6 grudnia 2016 14:15 Data nadania: 15 grudnia 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Dominik Ślęzak
Recenzenci: prof. dr hab. inż. Jacek Koronacki (Instytut Podstaw Informatyki PAN), prof. dr hab. inż. Wojciech Niemiro
Rozprawa

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

Structural and algorithmic aspects of partial orderings of graphs

Data obrony: 18 listopada 2016 14:00 Data nadania: 24 listopada 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Marcin Kamiński (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Promotor pomocniczy: dr hab. Dimitrios M. Thilikos (Université de Montpellier 2, Francja)
Recenzenci: dr Petr Golovach (Uniwersytet w Bergen, Norwegia), dr hab. Nicolas Nisse (INRIA Sophia Antipolis, Francja)
Rozprawa

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