Doctorates

Marcin Chałupnik (Uniwersytet Warszawski)

Rozszerzenia funktorów wielomianowych i ciąg De-Rhama

Defence date: Nov. 24, 2003, 11:15 a.m. Awarding date: Nov. 27, 2003 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Stanisław Betley, prof. UW
Reviewers: dr hab. Zbigniew Marciniak, prof. UW, prof. dr hab. Daniel Simson (Uniwersytet Mikołaja Kopernika w Toruniu)
Summary in Polish

Norbert Dojer (Uniwersytet Warszawski)

Badanie zanurzalności algebr częściowych za pomocą systemów przepisywania termów

Defence date: June 16, 2003, noon Awarding date: June 24, 2003 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Skowron
Reviewers: dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie), prof. dr hab. Jerzy Tiuryn
Summary in Polish

Marcin Bobieński (Uniwersytet Warszawski)

Geometria zespolona i jej zastosowania w układach dynamicznych

Defence date: June 6, 2003, noon Awarding date: June 24, 2003 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Henryk Żołądek
Reviewers: prof. dr hab. Bronisław Jakubczyk, prof. dr hab. Roman Srzednicki (Uniwersytet Jagielloński w Krakowie)

Daria Walukiewicz-Chrząszcz (Uniwersytet Warszawski)

Termination of Rewriting in the Calculus of Constructions

Defence date: April 9, 2003, 1:30 p.m. Awarding date: May 22, 2003 Doctor of mathematical sciences in computer sciences Supervisors: prof. dr hab. Jerzy Tiuryn, Uniwersytet Warszawski, prof. Jean Pierre Jouannaud (University Paris XI, Orsay)
Reviewers: dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski), prof. Mitsuhiro Okada (Keio University, Tokyo), prof. Helmut Schwichtenberg (Muenchen Universitaet), dr hab. Paweł Urzyczyn (Uniwersytet Warszawski)

Witold Sadowski (Uniwersytet Warszawski)

Asymptotyka przepływów płynów magneto-mikropolarnych

Defence date: April 10, 2003, 2:45 p.m. Awarding date: May 22, 2003 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Grzegorz Łukaszewicz, prof. UW
Reviewers: prof. dr hab. Tomasz Dłotko (Uniwersytet Śląski), dr hab. Dariusz Wrzosek

Henryk Michalewski (Uniwersytet Warszawski)

Przestrzenie funkcyjne z topologią zbieżności punktowej

Awarding date: Jan. 16, 2003 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Witold Marciszewski, prof. UW
Reviewers: dr hab. Józef Chaber, prof. UW, dr hab. Grzegorz Plebanek (Uniwersytet Wrocławski)

Ł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