Doctorates

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

Mariusz Baryło (Uniwersytet Warszawski)

Stochastyczne układy cząstek

Defence date: Nov. 12, 2009, 2:15 p.m. Awarding date: Nov. 26, 2009 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Andrzej Palczewski
Reviewers: prof. dr hab. Tomasz Komorowski, prof. dr hab. Mirosław Lachowicz
Summary in Polish Thesis

Janusz Dutkowski (Uniwersytet Warszawski)

Evolution of Protein-Protein Interaction Networks

Defence date: Oct. 1, 2009, 2:15 p.m. Awarding date: Oct. 15, 2009 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jerzy Tiuryn
Reviewers: dr hab. Nguyen Hung Son, prof. Trey Ideker (University of California, San Diego)
Summary in Polish Thesis

Anna Urbańska (Uniwersytet Warszawski)

Kombinatoryczne algorytmy dla algebraicznych problemów związanych z macierzami

Defence date: June 24, 2009, 9:15 a.m. Awarding date: June 25, 2009 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Wojciech Rytter
Reviewers: prof. dr hab. Krzysztof Diks, prof. dr hab. Zbigniew Lonc
Summary in Polish Thesis

Michał Strojnowski (Uniwersytet Warszawski)

Fault-tolerant distributed algorithms

Defence date: June 16, 2009, 2:15 p.m. Awarding date: June 25, 2009 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Damian Niwiński, prof. UW
Reviewers: prof. dr hab. Krzysztof Diks, dr hab. Maciej Liśkiewicz
Summary in Polish Thesis

Wojciech Jaworski (Uniwersytet Warszawski)

Ontology-Based Knowledge Discovery from Documents in Natural Language

Defence date: April 30, 2009, 2:15 p.m. Awarding date: May 28, 2009 Doctor of mathematical sciences in computer sciences Supervisors: dr hab. Jerzy Tyszkiewicz, prof. UW, dr hab. Marek Stępień
Reviewers: dr hab. Nguyen Hung Son, dr hab. Jarosław Stepaniuk, prof. PB
Summary in Polish Thesis

Karol Palka (Uniwersytet Warszawski)

Singular Q-homology planes

Defence date: May 21, 2009, 2:15 p.m. Awarding date: May 28, 2009 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Mariusz Koras
Reviewers: prof. dr hab. Zbigniew Jelonek (Uniwersytet Jagielloński w Krakowie), prof. dr hab. Henryk Żołądek, prof. Peter Russell (McGill Uniwersity, Kanada)
Summary in Polish Thesis