Łukasz Wiechecki (Uniwersytet Warszawski)

O grupach jedności pierścieni grupowych

Awarding date: Dec. 19, 2002 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Zbigniew Marciniak
Reviewers: dr hab. Piotr Grzeszczuk (Politechnika Białostocka), prof. dr hab. Jan Krempa

Janusz Jabłonowski (Uniwersytet Warszawski)

Komputerowo wspomagane konstruowanie poprawnych programow

Awarding date: June 20, 2002 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. W. M. Turski
Reviewers: prof. dr hab.J. Madey, prof. dr hab. T. Szmuc (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)

Maciej Górski (Uniwersytet Warszawski)

Antycypująca całka Skorochoda w przestrzeniach konuklearnych

Awarding date: May 16, 2002 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Tomasz Bojdecki
Reviewers: dr hab. Jacek Jakubowski, dr hab. Szymon Peszat (Instytut Matematyczny PAN)

Jakub Wróblewski (Uniwersytet Warszawski)

Adaptacyjne metody klasyfikacji obiektow

Awarding date: April 18, 2002 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Skowron
Reviewers: prof. dr hab. Lech Polkowski, prof. dr hab. Roman Slowinski, prof. dr hab. Andrzej Szalas

Dominik Ślęzak (Uniwersytet Warszawski)

Przyblizone redukty decyzyjne

Awarding date: April 18, 2002 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Skowron
Reviewers: prof. dr hab. Jacek Koronacki, dr hab. Damian Niwinski, prof. UW

Adam Bałaban (Uniwersytet Warszawski)

Wnioskowanie o programach za pomocą rozszerzenia logiki algorytmicznej

Awarding date: March 14, 2002 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jan Madey
Reviewers: dr hab. Mirosława Mirkowska-Salwicka, prof. PJWSTK, dr hab. Pawel Urzyczyn, prof. UW

Mirosława Reńska (Uniwersytet Warszawski)

Punkty Binga i niejednorodność kontinuów dziedzicznie nierozkładalnych wymiaru > 1

Awarding date: Jan. 17, 2002 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Elżbieta Pol
Reviewers: prof. dr hab. Józef Krasinkiewicz, dr hab. Witold Marciszewski

Jarosław Kachniarz (Uniwersytet Warszawski)

Zastosowanie metody eliminacji kwantyfikatorów II rzędu w dedukcyjnych bazach danych.

Awarding date: Jan. 17, 2002 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Szałas
Reviewers: doc. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN), prof. dr hab. Andrzej Skowron

Anna Talarczyk (Uniwersytet Warszawski)

Czas lokalny samoprzecięć procesów gaussowskich w S'(Rd).

Awarding date: Nov. 15, 2001 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Tomasz Bojdecki
Reviewers: prof. dr hab. Stanisław Kwapień, prof. dr hab. Jerzy Zabczyk
Summary in Polish

Marek Bodnar (Uniwersytet Warszawski)

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

Awarding date: Nov. 15, 2001 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Mirosław Lachowicz
Reviewers: prof. dr hab. Ryszard Rudnicki (Instytut Matematyczny PAN), dr hab. Tomasz Nowicki

Piotr Wojdyłło (Uniwersytet Warszawski)

Gabor and Wavelet Frames. Geometry and Applications.

Awarding date: Nov. 15, 2001 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Janusz Grabowski
Reviewers: 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

Awarding date: Sept. 27, 2001 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Bogdan Chlebus
Reviewers: 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

Awarding date: June 21, 2001 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Marek Kowalski
Reviewers: 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

Awarding date: April 26, 2001 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Jan Okniński
Reviewers: 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

Awarding date: Feb. 22, 2001 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Paweł Urzyczyn
Reviewers: prof. dr hab. Andrzej Tarlecki, prof. dr hab. Pawel Idziak (Uniwersytet Jagielloński w Krakowie)