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

Arkadiusz Wojna (Uniwersytet Warszawski)

Analogy-based reasoning in classifier construction

Data obrony: 28 kwietnia 2005 16:15 Data nadania: 19 maja 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Skowron
Recenzenci: dr hab. Krzysztof Diks, prof. UW, prof. dr hab. Roman Słowiński (Politechnika Poznańska)
Autoreferat w języku polskim

Piotr Hoffman (Uniwersytet Warszawski)

Architectural Specifications and Their Verification

Data obrony: 25 kwietnia 2005 13:30 Data nadania: 19 maja 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Tarlecki
Recenzenci: dr hab. Michał Grabowski (Wyższa Szkoła Informatyki i Ekonomii TWP), doc. dr hab. Wojciech Penczek (Instytut Podstaw Informatyki PAN), prof. Michel Bidoit (Laboratoire Specification et Verification Ecole Normale Superieure de Cachan, Francja)

Paweł Goldstein (Uniwersytet Warszawski)

Potok gradientu funkcji harmonicznej w R3

Data obrony: 13 kwietnia 2005 12:00 Data nadania: 21 kwietnia 2005 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Tadeusz Mostowski
Recenzenci: prof. dr hab. Bronisław Jakubczyk, prof. dr hab. Zbigniew Szafraniec (Uniwersytet Gdański)
Autoreferat w języku polskim

Mikołaj Bojańczyk (Uniwersytet Warszawski)

Decidable properties of tree languages

Data obrony: 19 listopada 2004 16:30 Data nadania: 25 listopada 2004 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Igor Walukiewicz
Recenzenci: prof. dr hab. Andrzej Mostowski (Uniwersytet Gdański), prof. dr hab. Jerzy Tiuryn, Prof. Dr. Wolfgang Thomas (Rheinisch Westfälische Teschnische Hochschule, Aachen, RFN)