Doctorates

Agata Janowska (Uniwersytet Warszawski)

Generowanie automatów czasowych dla systemów czasu rzeczywistego

Defence date: Sept. 21, 2007, 11 a.m. Awarding date: Oct. 18, 2007 Doctor of mathematical sciences in computer sciences Supervisor: doc. dr hab. Wojciech Penczek (Instytut Podstaw Informatyki PAN)
Reviewers: prof. dr hab. Andrzej Szałas, prof. dr hab. Józef Winkowski (Instytut Podstaw Informatyki PAN)
Summary in Polish

Andrzej Nagórko (Uniwersytet Warszawski)

Characterization and Topological Rigidity of Nöbeling Manifolds

Defence date: May 24, 2007, 4 p.m. Awarding date: May 31, 2007 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Adam Henryk Toruńczyk
Reviewers: prof. dr hab. Witold Marciszewski, prof. dr hab. Stanisław Spież (Instytut Matematyczny PAN)

Damian Wójtowicz (Uniwersytet Warszawski)

Modelowanie ewolucji genomów

Defence date: May 24, 2007, 2 p.m. Awarding date: May 31, 2007 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jerzy Tiuryn
Reviewers: dr hab. Jacek Miękisz, prof. UW, prof. dr hab. inż. Andrzej Świerniak (Politechnika Śląska)
Summary in Polish

Mikołaj Konarski (Uniwersytet Warszawski)

Application of category-theory methods to the design of a system of modules for a functional programming language

Defence date: March 2, 2007, 11 a.m. Awarding date: March 29, 2007 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Andrzej Tarlecki
Reviewers: dr hab. Marek Zawadowski, prof. Martin Wirsing (Ludwig-Maximilians-Universität München, Niemcy)
Summary in Polish

Marcin Peczarski (Uniwersytet Warszawski)

Komputerowo wspomagane badanie zbiorów częściowo uporządkowanych

Defence date: Nov. 17, 2006, noon Awarding date: Nov. 23, 2006 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Jerzy Tyszkiewicz, prof. UW
Reviewers: dr hab. Marek Piotrów (Uniwersytet Wrocławski), prof. dr hab. Wojciech Rytter
Summary in Polish

Szymon Nowakowski (Uniwersytet Warszawski)

Estymatory rozkładów prawdopodobieństwa występowania sekwencji aminokwasowej w uliniowieniu i ich zastosowanie do predykcji struktury trójwymiarowej białek

Defence date: Oct. 27, 2006, 12:15 p.m. Awarding date: Nov. 23, 2006 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jerzy Tiuryn
Reviewers: prof. dr hab. Jacek Koronacki (Instytut Podstaw Informatyki PAN), dr hab. Wojciech Niemiro, prof. UW
Summary in Polish

Mirosław Sobolewski (Uniwersytet Warszawski)

Własność punktu stałego walców nad krzywymi

Defence date: Sept. 28, 2006, 11 a.m. Awarding date: Sept. 28, 2006 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Witold Marciszewski
Reviewers: prof. dr hab. Elżbieta Pol, prof. dr hab. Stanisław Spież (Instytut Matematyczny PAN)
Summary in Polish

Michał Drabikowski (Uniwersytet Warszawski)

Analiza grup i sygnałów używanych do budowy struktury białek z lokalnych deskryptorów

Defence date: Sept. 25, 2006, 11 a.m. Awarding date: Sept. 28, 2006 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jerzy Tiuryn
Reviewers: prof. dr hab. Jacek Błażewicz (Politechnika Poznańska), prof. dr hab. Bohdan Lesyng (Wydział Fizyki UW), prof. dr hab. Andrzej Skowron
Summary in Polish

Magdalena Kacprzak (Politechnika Białostocka)

Logika systemów wieloagentowych

Defence date: April 20, 2006, 2:15 p.m. Awarding date: April 27, 2006 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Mirosława Mirkowska-Salwicka (Polsko-Japońska Wyższa Szkoła Technik Komputerowych)
Reviewers: prof. dr hab. Wiktor Dańko (Politechnika Białostocka), dr hab. Barbara Dunin-Kęplicz, prof. dr hab. Andrzej Szałas (Wyższa Szkoła Informatyki i Ekonomii TWP)
Summary in Polish

Maciej Borodzik (Uniwersytet Warszawski)

Afiniczne krzywe algebraiczne z zerową charakterystyką Eulera na płaszczyźnie zespolonej

Defence date: April 6, 2006, 2:30 p.m. Awarding date: April 27, 2006 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Henryk Żołądek
Reviewers: dr hab. Zbigniew Jelonek (Instytut Matematyczny PAN), dr hab. Mariusz Koras, prof. UW
Summary in Polish

Paweł Górecki (Uniwersytet Warszawski)

Detection of horizontal gene transfer

Defence date: Jan. 12, 2006, 2:15 p.m. Awarding date: Jan. 19, 2006 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jerzy Tiuryn
Reviewers: prof. dr hab. inż. Jacek Błażewicz (Politechnika Poznańska), dr hab. Krzysztof Diks, prof. UW, prof. Martin Vingron (Max Planck Institute for Molecular Genetics, RFN)
Summary in Polish

Jan Obłój (Uniwersytet Warszawski)

The Skorokhod embedding problem and some families of Brownian martingales

Defence date: Dec. 15, 2005, 10:15 a.m. Awarding date: Dec. 15, 2005 Doctor of mathematical sciences in mathematics Supervisors: prof. dr hab. Stanisław Kwapień, prof. Marc Yor (Université Paris 6, Francja)
Reviewers: prof. dr hab. Tomasz Bojdecki, prof. Pierre Vallois (Université Henri Poincaré Nancy I, Francja), prof. David Hobson (University of Bath, Wielka Brytania)
Summary in Polish

Robert Dąbrowski (Uniwersytet Warszawski)

Word equations with one and two unknowns

Defence date: Dec. 8, 2005, 2:15 p.m. Awarding date: Dec. 15, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Wojciech Plandowski, prof. UW
Reviewers: dr hab. Witold Charatonik (Uniwersytet Wrocławski), prof. dr hab. Wojciech Rytter

Rafał Łochowski (Uniwersytet Warszawski)

Oszacowania momentów i ogonów wieloliniowych form losowych

Defence date: Dec. 8, 2005, 2:15 p.m. Awarding date: Dec. 15, 2005 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Rafał Latała, prof. UW
Reviewers: prof. dr hab. Andrzej Ruciński (Uniwersytet im. Adama Mickiewicza w Poznaniu), prof. dr hab. Stanisław Kwapień
Summary in Polish

Witold Bednorz (Uniwersytet Warszawski)

Badanie ograniczoności procesów stochastycznych przy pomocy miar majoryzujących

Defence date: Dec. 6, 2005, 11:45 a.m. Awarding date: Dec. 15, 2005 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Stanisław Kwapień
Reviewers: dr hab. Rafał Latała, prof. UW, prof. dr hab. Tomasz Rolski (Uniwersytet Wrocławski)