Doctorates

Arkadiusz Wojna (Uniwersytet Warszawski)

Analogy-based reasoning in classifier construction

Defence date: April 28, 2005, 4:15 p.m. Awarding date: May 19, 2005 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Skowron
Reviewers: dr hab. Krzysztof Diks, prof. UW, prof. dr hab. Roman Słowiński (Politechnika Poznańska)
Summary in Polish

Piotr Hoffman (Uniwersytet Warszawski)

Architectural Specifications and Their Verification

Defence date: April 25, 2005, 1:30 p.m. Awarding date: May 19, 2005 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Tarlecki
Reviewers: dr hab. Michał Grabowski (Wyższa Szkoła Informatyki i Ekonomii TWP), doc. dr hab. Wojciech Penczek (Instytut Podstaw Informatyki PAN), prof. Michel Bidoit (Laboratoire Specification et Verification Ecole Normale Superieure de Cachan, Francja)

Paweł Goldstein (Uniwersytet Warszawski)

Potok gradientu funkcji harmonicznej w R3

Defence date: April 13, 2005, noon Awarding date: April 21, 2005 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Tadeusz Mostowski
Reviewers: prof. dr hab. Bronisław Jakubczyk, prof. dr hab. Zbigniew Szafraniec (Uniwersytet Gdański)
Summary in Polish

Mikołaj Bojańczyk (Uniwersytet Warszawski)

Decidable properties of tree languages

Defence date: Nov. 19, 2004, 4:30 p.m. Awarding date: Nov. 25, 2004 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Igor Walukiewicz
Reviewers: prof. dr hab. Andrzej Mostowski (Uniwersytet Gdański), prof. dr hab. Jerzy Tiuryn, Prof. Dr. Wolfgang Thomas (Rheinisch Westfälische Teschnische Hochschule, Aachen, RFN)

Adam Osękowski (Uniwersytet Warszawski)

Nierówności martyngałowe wynikające ze słabej dominacji

Defence date: Nov. 5, 2004, 2 p.m. Awarding date: Nov. 25, 2004 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Stanisław Kwapień
Reviewers: prof. dr hab. Tomasz Bojdecki, prof. dr hab. Adam Paszkiewicz (UŁ)
Summary in Polish

Konrad Furmańczyk (Uniwersytet Warszawski)

Asymptotyczne własności M-estymatorów dla danych zależnych

Defence date: Oct. 21, 2004, 2:15 p.m. Awarding date: Oct. 28, 2004 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Wojciech Niemiro, prof.UW
Reviewers: prof. dr hab. Lesław Gajek, dr hab. Jan Mielniczuk (PAN)
Summary in Polish

Mikołaj Rotkiewicz (Uniwersytet Warszawski)

O n-algebrach Liego

Defence date: May 20, 2004, 2:30 p.m. Awarding date: May 27, 2004 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Janusz Grabowski
Reviewers: dr hab. Jerzy Matczuk, prof. UW, dr hab. Tomasz Rybicki, prof. AGH

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)