Doctorates
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 TiurynReviewers: 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 TarleckiReviewers: 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. UWReviewers: 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 TiurynReviewers: 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 MarciszewskiReviewers: 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 TiurynReviewers: 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łądekReviewers: 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 TiurynReviewers: 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. UWReviewers: 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. UWReviewers: 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)
Konrad Zdanowski (Uniwersytet Warszawski)
Arithmetics in finite, but potentially infinite worlds
Defence date: Nov. 17, 2005, 3:15 p.m. Awarding date: Nov. 24, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Marcin Mostowski, prof. UWReviewers: prof. dr hab. Roman Murawski (Uniwersytet im. Adama Mickiewicza w Poznaniu), dr hab. Jerzy Tyszkiewicz, prof. UW
Piotr Sankowski (Uniwersytet Warszawski)
Algebraic Graph Algorithms
Defence date: Nov. 3, 2005, 3:15 p.m. Awarding date: Nov. 24, 2005 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof Diks, prof. UWReviewers: dr hab. Krzysztof Loryś, prof. UWr., dr hab. Leszek Plaskota, prof. UW