Doctorates
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. UWReviewers: 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 JackowskiReviewers: 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 ŁukaszewiczReviewers: 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ł UrzyczynReviewers: 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 DiksReviewers: 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łowskiReviewers: 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 PalczewskiReviewers: 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 TiurynReviewers: 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 RytterReviewers: 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. UWReviewers: 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 KorasReviewers: 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
Jacek Sroka (Uniwersytet Warszawski)
Models and languages for specification of collection-oriented scientific workflows
Defence date: April 16, 2009, 2 p.m. Awarding date: April 23, 2009 Doctor of mathematical sciences in computer sciences Supervisors: Dr Jan Hidders, Delft University of Technology, dr hab. Jerzy Tyszkiewicz, prof. UWReviewers: Professor Jan Paredaens (University of Antwerp), dr hab. Krzysztof Stencel, prof. UW
Summary in Polish Thesis
Eryk Kopczyński (Uniwersytet Warszawski)
Half-positional Determinacy of Infinite Games
Defence date: April 8, 2009, 2:15 p.m. Awarding date: April 23, 2009 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Damian NiwińskiReviewers: prof. dr hab. Jerzy Marcinkowski, dr hab. Jerzy Tyszkiewicz
Summary in Polish Thesis
Jakub Pawlewicz (Uniwersytet Warszawski)
Techniki algorytmiczne rozwiązywania gier na przykładzie gry w kości Yahtzee
Defence date: April 8, 2009, 12:15 p.m. Awarding date: April 23, 2009 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Krzysztof DiksReviewers: prof. dr hab. Zbigniew Czech, prof. dr hab. Wojciech Rytter
Summary in Polish Thesis