Magdalena Kacprzak (Politechnika Białostocka)

Logika systemów wieloagentowych

Defence date: April 20, 2006, 2:15 p.m. Awarding date: April 27, 2006 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Mirosława Mirkowska-Salwicka (Polsko-Japońska Wyższa Szkoła Technik Komputerowych)
Reviewers: prof. dr hab. Wiktor Dańko (Politechnika Białostocka), dr hab. Barbara Dunin-Kęplicz, prof. dr hab. Andrzej Szałas (Wyższa Szkoła Informatyki i Ekonomii TWP)
Summary in Polish

Maciej Borodzik (Uniwersytet Warszawski)

Afiniczne krzywe algebraiczne z zerową charakterystyką Eulera na płaszczyźnie zespolonej

Defence date: April 6, 2006, 2:30 p.m. Awarding date: April 27, 2006 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Henryk Żołądek
Reviewers: dr hab. Zbigniew Jelonek (Instytut Matematyczny PAN), dr hab. Mariusz Koras, prof. UW
Summary in Polish

Paweł Górecki (Uniwersytet Warszawski)

Detection of horizontal gene transfer

Defence date: Jan. 12, 2006, 2:15 p.m. Awarding date: Jan. 19, 2006 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jerzy Tiuryn
Reviewers: prof. dr hab. inż. Jacek Błażewicz (Politechnika Poznańska), dr hab. Krzysztof Diks, prof. UW, prof. Martin Vingron (Max Planck Institute for Molecular Genetics, RFN)
Summary in Polish

Jan Obłój (Uniwersytet Warszawski)

The Skorokhod embedding problem and some families of Brownian martingales

Defence date: Dec. 15, 2005, 10:15 a.m. Awarding date: Dec. 15, 2005 Doctor of mathematical sciences in mathematics Supervisors: prof. dr hab. Stanisław Kwapień, prof. Marc Yor (Université Paris 6, Francja)
Reviewers: prof. dr hab. Tomasz Bojdecki, prof. Pierre Vallois (Université Henri Poincaré Nancy I, Francja), prof. David Hobson (University of Bath, Wielka Brytania)
Summary in Polish

Robert Dąbrowski (Uniwersytet Warszawski)

Word equations with one and two unknowns

Defence date: Dec. 8, 2005, 2:15 p.m. Awarding date: Dec. 15, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Wojciech Plandowski, prof. UW
Reviewers: dr hab. Witold Charatonik (Uniwersytet Wrocławski), prof. dr hab. Wojciech Rytter

Rafał Łochowski (Uniwersytet Warszawski)

Oszacowania momentów i ogonów wieloliniowych form losowych

Defence date: Dec. 8, 2005, 2:15 p.m. Awarding date: Dec. 15, 2005 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Rafał Latała, prof. UW
Reviewers: prof. dr hab. Andrzej Ruciński (Uniwersytet im. Adama Mickiewicza w Poznaniu), prof. dr hab. Stanisław Kwapień
Summary in Polish

Witold Bednorz (Uniwersytet Warszawski)

Badanie ograniczoności procesów stochastycznych przy pomocy miar majoryzujących

Defence date: Dec. 6, 2005, 11:45 a.m. Awarding date: Dec. 15, 2005 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Stanisław Kwapień
Reviewers: dr hab. Rafał Latała, prof. UW, prof. dr hab. Tomasz Rolski (Uniwersytet Wrocławski)

Konrad Zdanowski (Uniwersytet Warszawski)

Arithmetics in finite, but potentially infinite worlds

Defence date: Nov. 17, 2005, 3:15 p.m. Awarding date: Nov. 24, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Marcin Mostowski, prof. UW
Reviewers: prof. dr hab. Roman Murawski (Uniwersytet im. Adama Mickiewicza w Poznaniu), dr hab. Jerzy Tyszkiewicz, prof. UW

Piotr Sankowski (Uniwersytet Warszawski)

Algebraic Graph Algorithms

Defence date: Nov. 3, 2005, 3:15 p.m. Awarding date: Nov. 24, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof Diks, prof. UW
Reviewers: dr hab. Krzysztof Loryś, prof. UWr., dr hab. Leszek Plaskota, prof. UW

Marcin Engel (Uniwersytet Warszawski)

Metoda badania poprawności specyfikacji tropowych

Defence date: Sept. 27, 2005, 3:30 p.m. Awarding date: Sept. 29, 2005 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jan Madey
Reviewers: prof. dr hab. Andrzej W. Mostowski (Uniwersytet Gdański), prof. dr hab. Andrzej Tarlecki

Marcin Mucha (Uniwersytet Warszawski)

Finding Maximum Matchings via Gaussian Elimination

Defence date: June 14, 2005, noon Awarding date: June 23, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof Diks, prof. UW
Reviewers: prof. dr hab. Krzysztof Loryś (Uniwersytet Wrocławski), dr hab. Leszek Plaskota, prof. UW

Krzysztof Ziemiański (Uniwersytet Warszawski)

A faithful complex representation of the 2-compact group DI(4)

Defence date: June 1, 2005, 3 p.m. Awarding date: June 23, 2005 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Stefan Jackowski
Reviewers: prof. dr hab. Stanisław Betley, prof. Jesper Moller (University of Copenhagen, Dania)
Summary in Polish

Mirosława Miłkowska (Uniwersytet Warszawski)

Poprawność i pełność programów w języku logiki - podejście deklaratywne

Defence date: June 3, 2005, 12:15 p.m. Awarding date: June 23, 2005 Doctor of mathematical sciences in computer sciences Supervisor: doc. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN)
Reviewers: prof. dr hab. Krzysztof Apt (School of Computing National University of Singapore), prof. dr hab. Andrzej Skowron

Maciej Kurowski (Uniwersytet Warszawski)

Strukturalne własności grafów planarnych i ich algorytmiczne zastosowania

Defence date: May 5, 2005, 4:15 p.m. Awarding date: May 19, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof Diks, prof. UW
Reviewers: prof. dr hab. Maciej Sysło (Uniwersytet Wrocławski), prof. dr hab. Wojciech Rytter

Łukasz Kowalik (Uniwersytet Warszawski)

Algorytmiczne problemy ścieżkowe w grafach planarnych

Defence date: May 5, 2005, 2:15 p.m. Awarding date: May 19, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof Diks, prof. UW
Reviewers: prof. dr hab. Maciej Sysło (Uniwersytet Wrocławski), prof. dr hab. Wojciech Rytter
Summary in Polish