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)

Adam Osękowski (Uniwersytet Warszawski)

Nierówności martyngałowe wynikające ze słabej dominacji

Data obrony: 5 listopada 2004 14:00 Data nadania: 25 listopada 2004 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Stanisław Kwapień
Recenzenci: prof. dr hab. Tomasz Bojdecki, prof. dr hab. Adam Paszkiewicz (UŁ)
Autoreferat w języku polskim

Konrad Furmańczyk (Uniwersytet Warszawski)

Asymptotyczne własności M-estymatorów dla danych zależnych

Data obrony: 21 października 2004 14:15 Data nadania: 28 października 2004 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Wojciech Niemiro, prof.UW
Recenzenci: prof. dr hab. Lesław Gajek, dr hab. Jan Mielniczuk (PAN)
Autoreferat w języku polskim

Mikołaj Rotkiewicz (Uniwersytet Warszawski)

O n-algebrach Liego

Data obrony: 20 maja 2004 14:30 Data nadania: 27 maja 2004 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Janusz Grabowski
Recenzenci: dr hab. Jerzy Matczuk, prof. UW, dr hab. Tomasz Rybicki, prof. AGH

Paweł Milewski (Uniwersytet Warszawski)

Parametryzacje ciągłe na zbiorze Cantora i selekcje borelowskie na przestrzeniach potęgowych

Data obrony: 18 marca 2004 14:30 Data nadania: 25 marca 2004 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Roman Pol
Recenzenci: dr hab. Paweł Krupski, prof. UWr., dr hab. Witold Marciszewski, prof. UW
Autoreferat w języku polskim

Jacek Chrząszcz (Uniwersytet Warszawski)

Modules in Type Theory with Generative Definitions

Data obrony: 12 stycznia 2004 13:30 Data nadania: 26 lutego 2004 Stopień doktora nauk matematycznych w zakresie informatyki Promotorzy: prof. dr hab. Paweł Urzyczyn, prof. Jean Pierre Jounnaud (Ecole Polytechnique, Palaiseau, Francja)
Recenzenci: dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski), prof. dr hab. Andrzej Szałas (University of Linköping, Szwecja), prof. Dave MacQueen (Bell Labs, USA), prof. Thierry Coquand (Chalmers University of Technology, Szwecja)
Autoreferat w języku polskim