Marek Bodnar (Uniwersytet Warszawski)

Własności równań różniczkowych z opóźnieniem versus własności równań różniczkowych zwyczajnych.

Data nadania: 15 listopada 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Mirosław Lachowicz
Recenzenci: prof. dr hab. Ryszard Rudnicki (Instytut Matematyczny PAN), dr hab. Tomasz Nowicki

Piotr Wojdyłło (Uniwersytet Warszawski)

Gabor and Wavelet Frames. Geometry and Applications.

Data nadania: 15 listopada 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Janusz Grabowski
Recenzenci: prof. dr hab. Przemysław Wojtaszczyk, prof. H. G. Feichtinger

Dariusz Kowalski (Uniwersytet Warszawski)

Distributed algorithms to perform independent tasks in networks with processor faults

Data nadania: 27 września 2001 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Bogdan Chlebus
Recenzenci: dr hab. Krzysztof Diks, prof. dr hab. Michał Karoński

Dorota Dąbrowska (Uniwersytet Warszawski)

Skutki zaburzeń miejsc i wartości odczytu próbek funkcji w optymalnym odtwarzaniu

Data nadania: 21 czerwca 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Marek Kowalski
Recenzenci: dr hab. Bolesław Kacewicz (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie), dr hab. Leszek Plaskota, dr hab. Andrzej Pokrzywa (Instytut Matematyczny PAN)

Arkadiusz Salwa (Uniwersytet Warszawski)

Uogólniona alternatywa Titsa dla półgrup liniowych

Data nadania: 26 kwietnia 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Jan Okniński
Recenzenci: prof. dr hab. Andrzej Białynicki-Birula, prof. dr hab. Piotr Pragacz (Instytut Matematyczny PAN)

Aleksy Schubert (Uniwersytet Warszawski)

Zastosowanie unifikacji do problemów wyprowadzania typów

Data nadania: 22 lutego 2001 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Paweł Urzyczyn
Recenzenci: prof. dr hab. Andrzej Tarlecki, prof. dr hab. Pawel Idziak (Uniwersytet Jagielloński w Krakowie)

Grzegorz Bińczak (Uniwersytet Warszawski)

Charakteryzacja klas algebr częściowych definiowalnych przez słabe równości

Data nadania: 22 stycznia 2001 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Skowron
Recenzenci: prof. dr hab. Andrzej Tarlecki, dr hab. Grzegorz Jarzembski, prof. UMK

Tomasz Borzyszkowski (Instytut Matematyki Uniwersytetu Gdańskiego)

Systemy logiczne dla specyfikacji strukturalnych

Data nadania: 14 grudnia 2000 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Tarlecki
Recenzenci: dr hab. Michał Grabowski, dr hab. Marian Srebrny (Instytut Podstaw Informatyki PAN)

Ewa Stróżyna (Uniwersytet Warszawski)

Analityczne i formalne postaci normalne dla nilpotentnych osobliwosci pol wektorowych

Data nadania: 28 września 2000 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Henryk Żołądek
Recenzenci: dr hab. Janusz Grabowski, prof. dr hab. Stanisław Janeczko

Marcin Szczuka (Uniwersytet Warszawski)

Metody symboliczne i sieci neuronowe w konstrukcji klasyfikatorów

Data nadania: 15 czerwca 2000 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. Andrzej Skowron
Recenzenci: prof. A. Szałas, prof. W. Skarbek

Michał Motoczyński (Uniwersytet Warszawski)

Różne aspekty wyceny opcji wielowymiarowych w czasie dyskretnym

Data nadania: 15 czerwca 2000 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: doc. dr hab. Łukasz Stettner
Recenzenci: prof. dr hab. Tomasz Bojdecki, prof. dr hab. Jerzy Zabczyk

Robert Małysz (Uniwersytet Warszawski)

Interpolacje fraktalne procesów stochastycznych

Data nadania: 15 czerwca 2000 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Maria Moszyńska
Recenzenci: prof. dr hab. Feliks Przytycki, prof. dr hab. Aleksander Weron

Nguyen Anh Linh (Uniwersytet Warszawski)

Results on Modal Reasoning with Applications to Modal Deductive Databases

Data nadania: 11 maja 2000 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. Andrzej Szałas
Recenzenci: dr hab. Witold Łukaszewicz, dr hab. Wojciech Penczek

Nguyen Thi Sinh Hoa (Uniwersytet Warszawski)

Regularity Analysis and its Applications in Data Mining

Data nadania: 11 maja 2000 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Bogdan Chlebus
Recenzenci: prof. Roman Słowiński, prof. Andrzej Szałas

Piotr Mucha (Uniwersytet Warszawski)

Stabilność rozwiązań równań cieczy lepkich

Data nadania: 11 maja 2000 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. Wojciech Zajączkowski
Recenzenci: prof. Piotr Biler, prof. Andrzej Palczewski

Sławomir Lasota (Instytut Informatyki Uniwersytetu Warszawskiego)

Algebraic observational equivalence and open-map bisimilarity

Data nadania: 23 marca 2000 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. Andrzej Tarlecki
Recenzenci: prof. Horst Reichel (TU Dresden), dr hab. Michał Grabowski

Marcin Kubica (Instytut Informatyki Uniwersytetu Warszawskiego)

Formalna specyfikacja wskaźnikowych struktur danych

Data nadania: 23 marca 2000 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Jan Madey
Recenzenci: prof. Andrzej Szałas, prof. Józef Winkowski

Piotr Kowalczyk (Instytut Matematyki Stosowanej i Mechaniki Uniwersytetu Warszawskiego)

Numeryczne rozwiązania zagadnień początkowo-brzegowych dla równań Boltzmanna

Data nadania: 23 marca 2000 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Tadeusz Płatkowski
Recenzenci: prof. Andrzej Palczewski, prof. Aleksander Weron (Politechnika Wrocławska)

Oskar Świda (Instytut Informatyki Politechniki Białostockiej)

Rozproszone środowisko programowania obiektowego

Data nadania: 20 stycznia 2000 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Salwicki (Politechnika Białostocka)
Recenzenci: prof. dr hab. Andrzej Szałas, prof. dr hab. Krzysztof Zieliński

Adam Malinowski (Instytut Informatyki Uniwersytetu Warszawskiego)

Selected Communication Problems in Networks with Faults

Data nadania: 20 stycznia 2000 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Bogdan Chlebus
Recenzenci: prof. dr hab. Wojciech Rytter, dr hab. Andrzej Szepietowski (Uniwersytet Gdański)

Anna Gambin (Instytut Informatyki Uniwersytetu Warszawskiego)

Combinatorial Methods in Approximation Algorithms for Markov Chains with Large State Space

Data nadania: 20 stycznia 2000 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Wojciech Rytter
Recenzenci: dr hab. Wojciech Niemiro, prof. dr hab. Mirosław Kutyłowski (Uniwersytet Wrocławski)