Doktoraty
Arkadiusz Wojna (Uniwersytet Warszawski)
Analogy-based reasoning in classifier construction
Data obrony: 28 kwietnia 2005 16:15 Data nadania: 19 maja 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej SkowronRecenzenci: dr hab. Krzysztof Diks, prof. UW, prof. dr hab. Roman Słowiński (Politechnika Poznańska)
Autoreferat w języku polskim
Piotr Hoffman (Uniwersytet Warszawski)
Architectural Specifications and Their Verification
Data obrony: 25 kwietnia 2005 13:30 Data nadania: 19 maja 2005 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej TarleckiRecenzenci: 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
Data obrony: 13 kwietnia 2005 12:00 Data nadania: 21 kwietnia 2005 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Tadeusz MostowskiRecenzenci: prof. dr hab. Bronisław Jakubczyk, prof. dr hab. Zbigniew Szafraniec (Uniwersytet Gdański)
Autoreferat w języku polskim
Mikołaj Bojańczyk (Uniwersytet Warszawski)
Decidable properties of tree languages
Data obrony: 19 listopada 2004 16:30 Data nadania: 25 listopada 2004 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Igor WalukiewiczRecenzenci: 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
Data obrony: 5 listopada 2004 14:00 Data nadania: 25 listopada 2004 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Stanisław KwapieńRecenzenci: prof. dr hab. Tomasz Bojdecki, prof. dr hab. Adam Paszkiewicz (UŁ)
Autoreferat w języku polskim
Konrad Furmańczyk (Uniwersytet Warszawski)
Asymptotyczne własności M-estymatorów dla danych zależnych
Data obrony: 21 października 2004 14:15 Data nadania: 28 października 2004 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Wojciech Niemiro, prof.UWRecenzenci: prof. dr hab. Lesław Gajek, dr hab. Jan Mielniczuk (PAN)
Autoreferat w języku polskim
Mikołaj Rotkiewicz (Uniwersytet Warszawski)
O n-algebrach Liego
Data obrony: 20 maja 2004 14:30 Data nadania: 27 maja 2004 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Janusz GrabowskiRecenzenci: 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
Data obrony: 18 marca 2004 14:30 Data nadania: 25 marca 2004 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Roman PolRecenzenci: dr hab. Paweł Krupski, prof. UWr., dr hab. Witold Marciszewski, prof. UW
Autoreferat w języku polskim
Jacek Chrząszcz (Uniwersytet Warszawski)
Modules in Type Theory with Generative Definitions
Data obrony: 12 stycznia 2004 13:30 Data nadania: 26 lutego 2004 Stopień doktora nauk matematycznych w zakresie informatyki Promotorzy: prof. dr hab. Paweł Urzyczyn, prof. Jean Pierre Jounnaud (Ecole Polytechnique, Palaiseau, Francja)Recenzenci: 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)
Autoreferat w języku polskim
Marcin Chałupnik (Uniwersytet Warszawski)
Rozszerzenia funktorów wielomianowych i ciąg De-Rhama
Data obrony: 24 listopada 2003 11:15 Data nadania: 27 listopada 2003 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Stanisław Betley, prof. UWRecenzenci: dr hab. Zbigniew Marciniak, prof. UW, prof. dr hab. Daniel Simson (Uniwersytet Mikołaja Kopernika w Toruniu)
Autoreferat w języku polskim
Norbert Dojer (Uniwersytet Warszawski)
Badanie zanurzalności algebr częściowych za pomocą systemów przepisywania termów
Data obrony: 16 czerwca 2003 12:00 Data nadania: 24 czerwca 2003 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej SkowronRecenzenci: dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie), prof. dr hab. Jerzy Tiuryn
Autoreferat w języku polskim
Marcin Bobieński (Uniwersytet Warszawski)
Geometria zespolona i jej zastosowania w układach dynamicznych
Data obrony: 6 czerwca 2003 12:00 Data nadania: 24 czerwca 2003 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Henryk ŻołądekRecenzenci: 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
Data obrony: 9 kwietnia 2003 13:30 Data nadania: 22 maja 2003 Stopień doktora nauk matematycznych w zakresie informatyki Promotorzy: prof. dr hab. Jerzy Tiuryn, Uniwersytet Warszawski, prof. Jean Pierre Jouannaud (University Paris XI, Orsay)Recenzenci: 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
Data obrony: 10 kwietnia 2003 14:45 Data nadania: 22 maja 2003 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Grzegorz Łukaszewicz, prof. UWRecenzenci: 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
Data nadania: 16 stycznia 2003 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Witold Marciszewski, prof. UWRecenzenci: dr hab. Józef Chaber, prof. UW, dr hab. Grzegorz Plebanek (Uniwersytet Wrocławski)