Doctorates

Ł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

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 Gambin
Reviewers: 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. UW
Reviewers: 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. UW
Reviewers: dr hab. Sławomir Lasota, prof. UW, prof. Jean-Eric Pin (Paris, LIAFA)
Summary in Polish Thesis

Marcin Dziubiński (Uniwersytet Warszawski)

Complexity issues in multimodal logics for multiagent systems

Defence date: Jan. 27, 2011, 2 p.m. Awarding date: Feb. 24, 2011 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Barbara Dunin-Kęplicz, prof. UW
Reviewers: dr hab. Lidia Tendera, prof. UO, dr hab. Nguyen Anh Linh
Summary in Polish Thesis

Olga Ziemiańska (Uniwersytet Warszawski)

Complexes of groups on the categories with loops

Defence date: Nov. 18, 2010, 2:15 p.m. Awarding date: Nov. 25, 2010 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Stefan Jackowski
Reviewers: prof. dr hab. Stanislaw Betley, dr hab. Jolanta Słomińska (Politechnika Warszawska)
Summary in Polish Thesis

Agnieszka Tarasińska (Uniwersytet Warszawski)

Deterministic and statistical solutions of micropolar fluid equations

Defence date: Oct. 28, 2010, 2 p.m. Awarding date: Nov. 25, 2010 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Grzegorz Łukaszewicz
Reviewers: prof. dr hab. Jan Cholewa, dr hab. Piotr Mucha
Summary in Polish Thesis

Jarosław Dominik Kuśmierek (Uniwersytet Warszawski)

A Mixin Based Object-Oriented Calculus: True Modularity in Object-Oriented Programming

Defence date: June 15, 2010, 11 a.m. Awarding date: June 24, 2010 Doctor of mathematical sciences in computer sciences Supervisors: Professor Viviana Bono (Universita’Degli Studi di Torino, Włochy), prof. dr hab. Paweł Urzyczyn
Reviewers: Professor Kim Bruce (Pomona College, USA), prof. dr hab. Andrzej Tarlecki
Summary in Polish Thesis

Tomasz Waleń (Uniwersytet Warszawski)

Algorytmy dokładne i aproksymacyjne dla wybranych problemów kombinatorycznych w biologii obliczeniowej

Defence date: April 15, 2010, 4:15 p.m. Awarding date: April 29, 2010 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Krzysztof Diks
Reviewers: dr hab. Anna Gambin, prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie)
Summary in Polish Thesis

Marzena Filipowicz-Chomko (Politechnika Białostocka)

Struktura i własności wyróżnionych typów algebr filialnych

Defence date: March 30, 2010, 11:30 a.m. Awarding date: April 29, 2010 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Edmund Puczyłowski
Reviewers: dr hab. Jerzy Matczuk, prof. dr hab. Andrzej Kisielewicz (Uniwersytet Wrocławski)
Summary in Polish Thesis