Doctorates
Łukasz Pankowski (Uniwersytet Gdański)
On some communicational properties of quantum states
Defence date: June 6, 2012, 2 p.m. Awarding date: June 14, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Michał Horodecki, prof. UGReviewers: dr hab. Konrad Banaszek (Uniwersytet Warszawski), prof. dr Renato Renner (ETH Zurich)
Summary in Polish Thesis
Agnieszka Kozubek (Uniwersytet Warszawski)
A Formalization of the Naive Type Theory
Defence date: May 31, 2012, 2 p.m. Awarding date: June 14, 2012 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Paweł UrzyczynReviewers: prof. Zhaohui Luo (University of London), dr hab. Aleksy Schubert (Uniwersytet Warszawski)
Summary in Polish Thesis
Sławomir Kolasiński (Uniwersytet Warszawski)
Integral Menger curvature for sets of arbitrary dimension and codimension
Defence date: May 8, 2012, 4:15 p.m. Awarding date: May 24, 2012 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Paweł StrzeleckiReviewers: prof. dr hab. Tadeusz Mostowski (Uniwersytet Warszawski), prof. dr hab. Bronisław Jakubczyk (Instytut Matematyczny PAN)
Summary in Polish Thesis
Marek Cygan (Uniwersytet Warszawski)
Cut&Count technique for graph connectivity problems parameterized by treewidth
Defence date: April 19, 2012, 2 p.m. Awarding date: April 26, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Łukasz KowalikReviewers: prof. dr hab. Krzysztof Diks (Uniwersytet Warszawski), prof. dr hab. Mirosław Kutyłowski (Politechnika Wrocławska)
Summary in Polish Thesis
Marcin Pilipczuk (Uniwersytet Warszawski)
New techniques applicable to selected NP-hard problems
Defence date: March 29, 2012, 2:15 p.m. Awarding date: April 26, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Łukasz KowalikReviewers: prof. dr hab. Wojciech Rytter (Uniwersytet Warszawski), prof. Hans L. Bodlaender (Utrecht University)
Summary in Polish Thesis
Błażej Zyglarski (Uniwersytet Mikołaja Kopernika w Toruniu)
Wykorzystanie sieci neuronowych i algorytmów genetycznych w analizie i kategoryzacji dokumentów naukowych
Defence date: March 15, 2012, 2:15 p.m. Awarding date: March 22, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Bała, prof. UMKReviewers: prof. dr hab. Mieczysław Kłopotek (Instytut Podstaw Informatyki PAN), dr hab. Hung Son Nguyen (Uniwersytet Warszawski)
Summary in Polish Thesis
Łukasz Mikulski (Uniwersytet Mikołaja Kopernika w Toruniu)
Procesy nieskończone systemów współbieżnych
Defence date: Jan. 12, 2012, 2:15 p.m. Awarding date: Jan. 19, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Edward Ochmański, prof. UMKReviewers: prof. dr hab. Antoni Mazurkiewicz (Instytut Podstaw Informatyki PAN), dr hab. Sławomir Lasota (Uniwersytet Warszawski)
Summary in Polish Thesis
Paweł Parys (Uniwersytet Warszawski)
Application of automata theory to processing of XML documents
Defence date: Dec. 21, 2011, noon Awarding date: Jan. 19, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Mikołaj Bojańczyk, prof. UWReviewers: prof. dr hab. Wojciech Rytter, dr hab. Tomasz Jurdziński (Uniwersytet Wrocławski)
Summary in Polish Thesis
Marcin Piątkowski (Uniwersytet Mikołaja Kopernika w Toruniu)
Efficient algorithms related to combinatorial structure of words
Defence date: Nov. 16, 2011, 5 p.m. Awarding date: Nov. 24, 2011 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Wojciech RytterReviewers: prof. dr hab. Wojciech Plandowski, dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie)
Summary in Polish Thesis
Michał Zakrzewski (Uniwersytet Warszawski)
Asymptotyka rozwiązań meromorficznych równań różniczkowych i funkcji tworzących dla wielokrotnych wartości zeta
Defence date: Nov. 14, 2011, 9:45 a.m. Awarding date: Nov. 24, 2011 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Henryk ŻołądekReviewers: dr hab. Piotr Mormul, prof. UW, prof. dr hab. Grzegorz Karch (Uniwersytet Wrocławski)
Summary in Polish Thesis
Marta Burzańska (Uniwersytet Mikołaja Kopernika w Toruniu)
New Query Rewriting Methods for Structured and Semi-Structured Databases
Defence date: Oct. 18, 2011, 2:15 p.m. Awarding date: Nov. 24, 2011 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof StencelReviewers: prof. dr hab. Andrzej Szałas, prof. dr hab. Tadeusz Morzy (Politechnika Poznańska)
Summary in Polish Thesis
Paweł Daniluk (Uniwersytet Warszawski)
Analiza podobieństwa struktur przestrzennych białek przy użyciu deskryptorów lokalnej struktury
Defence date: Oct. 20, 2011, 2:15 p.m. Awarding date: Nov. 24, 2011 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Bogdan LesyngReviewers: prof. dr hab. Jerzy Tiuryn, prof. dr hab. Janusz Bujnicki (IIMCB w Warszawie)
Summary in Polish Thesis
Bogusław Kluge (Uniwersytet Warszawski)
Computational Methods and Stochastic Models in Proteomics
Defence date: July 12, 2011, 11 a.m. Awarding date: Oct. 13, 2011 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Anna GambinReviewers: dr hab. Jacek Miękisz, prof. Tomasz Burzykowski (Uniwersytet Hasselt)
Summary in Polish Thesis
Błażej Miasojedow (Uniwersytet Warszawski)
Oszacowania błędów estymatorów stosowanych w markowowskich metodach Monte Carlo
Defence date: June 21, 2011, 1 p.m. Awarding date: Oct. 13, 2011 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Wojciech Niemiro, prof. UWReviewers: dr hab. Katarzyna Pietruska-Pałuba, prof. UW, prof. dr hab. Jacek Wesołowski
Summary in Polish Thesis
Szymon Toruńczyk (Uniwersytet Warszawski)
Languages of profinite words and the limitedness problem (Języki slów proskończonych i problem ograniczoności)
Defence date: June 9, 2011, 2:15 p.m. Awarding date: June 16, 2011 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Mikołaj Bojańczyk, prof. UWReviewers: dr hab. Sławomir Lasota, prof. UW, prof. Jean-Eric Pin (Paris, LIAFA)
Summary in Polish Thesis