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)