Doktoraty
Łukasz Pankowski (Uniwersytet Gdański)
On some communicational properties of quantum states
Data obrony: 6 czerwca 2012 14:00 Data nadania: 14 czerwca 2012 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Michał Horodecki, prof. UGRecenzenci: dr hab. Konrad Banaszek (Uniwersytet Warszawski), prof. dr Renato Renner (ETH Zurich)
Autoreferat w języku polskim Rozprawa
Agnieszka Kozubek (Uniwersytet Warszawski)
A Formalization of the Naive Type Theory
Data obrony: 31 maja 2012 14:00 Data nadania: 14 czerwca 2012 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Paweł UrzyczynRecenzenci: prof. Zhaohui Luo (University of London), dr hab. Aleksy Schubert (Uniwersytet Warszawski)
Autoreferat w języku polskim Rozprawa
Sławomir Kolasiński (Uniwersytet Warszawski)
Integral Menger curvature for sets of arbitrary dimension and codimension
Data obrony: 8 maja 2012 16:15 Data nadania: 24 maja 2012 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Paweł StrzeleckiRecenzenci: prof. dr hab. Tadeusz Mostowski (Uniwersytet Warszawski), prof. dr hab. Bronisław Jakubczyk (Instytut Matematyczny PAN)
Autoreferat w języku polskim Rozprawa
Marek Cygan (Uniwersytet Warszawski)
Cut&Count technique for graph connectivity problems parameterized by treewidth
Data obrony: 19 kwietnia 2012 14:00 Data nadania: 26 kwietnia 2012 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Łukasz KowalikRecenzenci: prof. dr hab. Krzysztof Diks (Uniwersytet Warszawski), prof. dr hab. Mirosław Kutyłowski (Politechnika Wrocławska)
Autoreferat w języku polskim Rozprawa
Marcin Pilipczuk (Uniwersytet Warszawski)
New techniques applicable to selected NP-hard problems
Data obrony: 29 marca 2012 14:15 Data nadania: 26 kwietnia 2012 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Łukasz KowalikRecenzenci: prof. dr hab. Wojciech Rytter (Uniwersytet Warszawski), prof. Hans L. Bodlaender (Utrecht University)
Autoreferat w języku polskim Rozprawa
Błażej Zyglarski (Uniwersytet Mikołaja Kopernika w Toruniu)
Wykorzystanie sieci neuronowych i algorytmów genetycznych w analizie i kategoryzacji dokumentów naukowych
Data obrony: 15 marca 2012 14:15 Data nadania: 22 marca 2012 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Piotr Bała, prof. UMKRecenzenci: prof. dr hab. Mieczysław Kłopotek (Instytut Podstaw Informatyki PAN), dr hab. Hung Son Nguyen (Uniwersytet Warszawski)
Autoreferat w języku polskim Rozprawa
Łukasz Mikulski (Uniwersytet Mikołaja Kopernika w Toruniu)
Procesy nieskończone systemów współbieżnych
Data obrony: 12 stycznia 2012 14:15 Data nadania: 19 stycznia 2012 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Edward Ochmański, prof. UMKRecenzenci: prof. dr hab. Antoni Mazurkiewicz (Instytut Podstaw Informatyki PAN), dr hab. Sławomir Lasota (Uniwersytet Warszawski)
Autoreferat w języku polskim Rozprawa
Paweł Parys (Uniwersytet Warszawski)
Application of automata theory to processing of XML documents
Data obrony: 21 grudnia 2011 12:00 Data nadania: 19 stycznia 2012 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Mikołaj Bojańczyk, prof. UWRecenzenci: prof. dr hab. Wojciech Rytter, dr hab. Tomasz Jurdziński (Uniwersytet Wrocławski)
Autoreferat w języku polskim Rozprawa
Marcin Piątkowski (Uniwersytet Mikołaja Kopernika w Toruniu)
Efficient algorithms related to combinatorial structure of words
Data obrony: 16 listopada 2011 17:00 Data nadania: 24 listopada 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Wojciech RytterRecenzenci: prof. dr hab. Wojciech Plandowski, dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie)
Autoreferat w języku polskim Rozprawa
Michał Zakrzewski (Uniwersytet Warszawski)
Asymptotyka rozwiązań meromorficznych równań różniczkowych i funkcji tworzących dla wielokrotnych wartości zeta
Data obrony: 14 listopada 2011 09:45 Data nadania: 24 listopada 2011 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Henryk ŻołądekRecenzenci: dr hab. Piotr Mormul, prof. UW, prof. dr hab. Grzegorz Karch (Uniwersytet Wrocławski)
Autoreferat w języku polskim Rozprawa
Marta Burzańska (Uniwersytet Mikołaja Kopernika w Toruniu)
New Query Rewriting Methods for Structured and Semi-Structured Databases
Data obrony: 18 października 2011 14:15 Data nadania: 24 listopada 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Krzysztof StencelRecenzenci: prof. dr hab. Andrzej Szałas, prof. dr hab. Tadeusz Morzy (Politechnika Poznańska)
Autoreferat w języku polskim Rozprawa
Paweł Daniluk (Uniwersytet Warszawski)
Analiza podobieństwa struktur przestrzennych białek przy użyciu deskryptorów lokalnej struktury
Data obrony: 20 października 2011 14:15 Data nadania: 24 listopada 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Bogdan LesyngRecenzenci: prof. dr hab. Jerzy Tiuryn, prof. dr hab. Janusz Bujnicki (IIMCB w Warszawie)
Autoreferat w języku polskim Rozprawa
Bogusław Kluge (Uniwersytet Warszawski)
Computational Methods and Stochastic Models in Proteomics
Data obrony: 12 lipca 2011 11:00 Data nadania: 13 października 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Anna GambinRecenzenci: dr hab. Jacek Miękisz, prof. Tomasz Burzykowski (Uniwersytet Hasselt)
Autoreferat w języku polskim Rozprawa
Błażej Miasojedow (Uniwersytet Warszawski)
Oszacowania błędów estymatorów stosowanych w markowowskich metodach Monte Carlo
Data obrony: 21 czerwca 2011 13:00 Data nadania: 13 października 2011 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Wojciech Niemiro, prof. UWRecenzenci: dr hab. Katarzyna Pietruska-Pałuba, prof. UW, prof. dr hab. Jacek Wesołowski
Autoreferat w języku polskim Rozprawa
Szymon Toruńczyk (Uniwersytet Warszawski)
Języki slów proskończonych i problem ograniczoności (Languages of profinite words and the limitedness problem)
Data obrony: 9 czerwca 2011 14:15 Data nadania: 16 czerwca 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Mikołaj Bojańczyk, prof. UWRecenzenci: dr hab. Sławomir Lasota, prof. UW, prof. Jean-Eric Pin (Paris, LIAFA)
Autoreferat w języku polskim Rozprawa