Doctorates
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 WalukiewiczReviewers: 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.UWReviewers: 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 GrabowskiReviewers: 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 PolReviewers: 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. UWReviewers: 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 SkowronReviewers: 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łądekReviewers: 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. UWReviewers: 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. UWReviewers: 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 MarciniakReviewers: 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. TurskiReviewers: 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 BojdeckiReviewers: dr hab. Jacek Jakubowski, dr hab. Szymon Peszat (Instytut Matematyczny PAN)