Doctorates

Marcin Engel (Uniwersytet Warszawski)

Metoda badania poprawności specyfikacji tropowych

Defence date: Sept. 27, 2005, 3:30 p.m. Awarding date: Sept. 29, 2005 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jan Madey
Reviewers: prof. dr hab. Andrzej W. Mostowski (Uniwersytet Gdański), prof. dr hab. Andrzej Tarlecki

Marcin Mucha (Uniwersytet Warszawski)

Finding Maximum Matchings via Gaussian Elimination

Defence date: June 14, 2005, noon Awarding date: June 23, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof Diks, prof. UW
Reviewers: prof. dr hab. Krzysztof Loryś (Uniwersytet Wrocławski), dr hab. Leszek Plaskota, prof. UW

Krzysztof Ziemiański (Uniwersytet Warszawski)

A faithful complex representation of the 2-compact group DI(4)

Defence date: June 1, 2005, 3 p.m. Awarding date: June 23, 2005 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Stefan Jackowski
Reviewers: prof. dr hab. Stanisław Betley, prof. Jesper Moller (University of Copenhagen, Dania)
Summary in Polish

Mirosława Miłkowska (Uniwersytet Warszawski)

Poprawność i pełność programów w języku logiki - podejście deklaratywne

Defence date: June 3, 2005, 12:15 p.m. Awarding date: June 23, 2005 Doctor of mathematical sciences in computer sciences Supervisor: doc. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN)
Reviewers: prof. dr hab. Krzysztof Apt (School of Computing National University of Singapore), prof. dr hab. Andrzej Skowron

Maciej Kurowski (Uniwersytet Warszawski)

Strukturalne własności grafów planarnych i ich algorytmiczne zastosowania

Defence date: May 5, 2005, 4:15 p.m. Awarding date: May 19, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof Diks, prof. UW
Reviewers: prof. dr hab. Maciej Sysło (Uniwersytet Wrocławski), prof. dr hab. Wojciech Rytter

Łukasz Kowalik (Uniwersytet Warszawski)

Algorytmiczne problemy ścieżkowe w grafach planarnych

Defence date: May 5, 2005, 2:15 p.m. Awarding date: May 19, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof Diks, prof. UW
Reviewers: prof. dr hab. Maciej Sysło (Uniwersytet Wrocławski), prof. dr hab. Wojciech Rytter
Summary in Polish

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