Paweł Milewski (Uniwersytet Warszawski)

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

Defence date: March 18, 2004, 2:30 p.m. Awarding date: March 25, 2004 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Roman Pol
Reviewers: dr hab. Paweł Krupski, prof. UWr., dr hab. Witold Marciszewski, prof. UW
Summary in Polish

Jacek Chrząszcz (Uniwersytet Warszawski)

Modules in Type Theory with Generative Definitions

Defence date: Jan. 12, 2004, 1:30 p.m. Awarding date: Feb. 26, 2004 Doctor of mathematical sciences in computer sciences Supervisors: prof. dr hab. Paweł Urzyczyn, prof. Jean Pierre Jounnaud (Ecole Polytechnique, Palaiseau, Francja)
Reviewers: 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)
Summary in Polish

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