Magdalena Kacprzak (Politechnika Białostocka)

Logika systemów wieloagentowych

Data obrony: 20 kwietnia 2006 14:15 Data nadania: 27 kwietnia 2006 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Mirosława Mirkowska-Salwicka (Polsko-Japońska Wyższa Szkoła Technik Komputerowych)
Recenzenci: 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)
Autoreferat w języku polskim

Maciej Borodzik (Uniwersytet Warszawski)

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

Data obrony: 6 kwietnia 2006 14:30 Data nadania: 27 kwietnia 2006 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Henryk Żołądek
Recenzenci: dr hab. Zbigniew Jelonek (Instytut Matematyczny PAN), dr hab. Mariusz Koras, prof. UW
Autoreferat w języku polskim

Paweł Górecki (Uniwersytet Warszawski)

Detection of horizontal gene transfer

Data obrony: 12 stycznia 2006 14:15 Data nadania: 19 stycznia 2006 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Jerzy Tiuryn
Recenzenci: 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)
Autoreferat w języku polskim

Jan Obłój (Uniwersytet Warszawski)

The Skorokhod embedding problem and some families of Brownian martingales

Data obrony: 15 grudnia 2005 10:15 Data nadania: 15 grudnia 2005 Stopień doktora nauk matematycznych w zakresie matematyki Promotorzy: prof. dr hab. Stanisław Kwapień, prof. Marc Yor (Université Paris 6, Francja)
Recenzenci: prof. dr hab. Tomasz Bojdecki, prof. Pierre Vallois (Université Henri Poincaré Nancy I, Francja), prof. David Hobson (University of Bath, Wielka Brytania)
Autoreferat w języku polskim

Robert Dąbrowski (Uniwersytet Warszawski)

Word equations with one and two unknowns

Data obrony: 8 grudnia 2005 14:15 Data nadania: 15 grudnia 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Wojciech Plandowski, prof. UW
Recenzenci: 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

Data obrony: 8 grudnia 2005 14:15 Data nadania: 15 grudnia 2005 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Rafał Latała, prof. UW
Recenzenci: prof. dr hab. Andrzej Ruciński (Uniwersytet im. Adama Mickiewicza w Poznaniu), prof. dr hab. Stanisław Kwapień
Autoreferat w języku polskim

Witold Bednorz (Uniwersytet Warszawski)

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

Data obrony: 6 grudnia 2005 11:45 Data nadania: 15 grudnia 2005 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Stanisław Kwapień
Recenzenci: 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

Data obrony: 17 listopada 2005 15:15 Data nadania: 24 listopada 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Marcin Mostowski, prof. UW
Recenzenci: prof. dr hab. Roman Murawski (Uniwersytet im. Adama Mickiewicza w Poznaniu), dr hab. Jerzy Tyszkiewicz, prof. UW

Piotr Sankowski (Uniwersytet Warszawski)

Algebraic Graph Algorithms

Data obrony: 3 listopada 2005 15:15 Data nadania: 24 listopada 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Krzysztof Diks, prof. UW
Recenzenci: dr hab. Krzysztof Loryś, prof. UWr., dr hab. Leszek Plaskota, prof. UW

Marcin Engel (Uniwersytet Warszawski)

Metoda badania poprawności specyfikacji tropowych

Data obrony: 27 września 2005 15:30 Data nadania: 29 września 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Jan Madey
Recenzenci: prof. dr hab. Andrzej W. Mostowski (Uniwersytet Gdański), prof. dr hab. Andrzej Tarlecki

Marcin Mucha (Uniwersytet Warszawski)

Finding Maximum Matchings via Gaussian Elimination

Data obrony: 14 czerwca 2005 12:00 Data nadania: 23 czerwca 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Krzysztof Diks, prof. UW
Recenzenci: 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)

Data obrony: 1 czerwca 2005 15:00 Data nadania: 23 czerwca 2005 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Stefan Jackowski
Recenzenci: prof. dr hab. Stanisław Betley, prof. Jesper Moller (University of Copenhagen, Dania)
Autoreferat w języku polskim

Mirosława Miłkowska (Uniwersytet Warszawski)

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

Data obrony: 3 czerwca 2005 12:15 Data nadania: 23 czerwca 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: doc. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN)
Recenzenci: 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

Data obrony: 5 maja 2005 16:15 Data nadania: 19 maja 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Krzysztof Diks, prof. UW
Recenzenci: 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

Data obrony: 5 maja 2005 14:15 Data nadania: 19 maja 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Krzysztof Diks, prof. UW
Recenzenci: prof. dr hab. Maciej Sysło (Uniwersytet Wrocławski), prof. dr hab. Wojciech Rytter
Autoreferat w języku polskim