Doctorates

Jakub Jurkiewicz (Uniwersytet Warszawski)

Modelowanie rozproszonych systemów typu deskop grid

Defence date: Nov. 8, 2012, 2:15 p.m. Awarding date: Nov. 29, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Bała, prof. UMK
Reviewers: prof. dr hab. inż. Witold Dzwinel (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie), dr hab. Dominik Ślęzak (Uniwersytet Warszawski)
Summary in Polish Thesis

Piotr Stańczyk (Uniwersytet Warszawski)

Theory and practice of computing maximum matchings in graphs

Defence date: June 25, 2012, 1 p.m. Awarding date: Sept. 27, 2012 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Krzysztof Diks
Reviewers: dr hab. Mirosław Kowaluk (Uniwersytet Warszawski), prof. dr hab. Zbigniew Palka (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Summary in Polish Thesis

Jakub Radoszewski (Uniwersytet Warszawski)

Algorithmic and Combinatorial Problems Related to Enumeration of Repetitions in Words

Defence date: June 13, 2012, 4 p.m. Awarding date: June 14, 2012 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Wojciech Rytter
Reviewers: prof. dr hab. Krzysztof Diks (Uniwersytet Warszawski), prof. dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie)
Summary in Polish Thesis

Ł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. UG
Reviewers: 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ł Urzyczyn
Reviewers: 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ł Strzelecki
Reviewers: 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 Kowalik
Reviewers: 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 Kowalik
Reviewers: 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. UMK
Reviewers: 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. UMK
Reviewers: 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. UW
Reviewers: 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 Rytter
Reviewers: 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łądek
Reviewers: 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 Stencel
Reviewers: 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 Lesyng
Reviewers: prof. dr hab. Jerzy Tiuryn, prof. dr hab. Janusz Bujnicki (IIMCB w Warszawie)
Summary in Polish Thesis