Łukasz Mikulski (Uniwersytet Mikołaja Kopernika w Toruniu)

Procesy nieskończone systemów współbieżnych

Data obrony: 12 stycznia 2012 14:15 Data nadania: 19 stycznia 2012 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Edward Ochmański, prof. UMK
Recenzenci: prof. dr hab. Antoni Mazurkiewicz (Instytut Podstaw Informatyki PAN), dr hab. Sławomir Lasota (Uniwersytet Warszawski)
Autoreferat w języku polskim Rozprawa

Paweł Parys (Uniwersytet Warszawski)

Application of automata theory to processing of XML documents

Data obrony: 21 grudnia 2011 12:00 Data nadania: 19 stycznia 2012 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Mikołaj Bojańczyk, prof. UW
Recenzenci: prof. dr hab. Wojciech Rytter, dr hab. Tomasz Jurdziński (Uniwersytet Wrocławski)
Autoreferat w języku polskim Rozprawa

Marcin Piątkowski (Uniwersytet Mikołaja Kopernika w Toruniu)

Efficient algorithms related to combinatorial structure of words

Data obrony: 16 listopada 2011 17:00 Data nadania: 24 listopada 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Wojciech Rytter
Recenzenci: prof. dr hab. Wojciech Plandowski, dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie)
Autoreferat w języku polskim Rozprawa

Michał Zakrzewski (Uniwersytet Warszawski)

Asymptotyka rozwiązań meromorficznych równań różniczkowych i funkcji tworzących dla wielokrotnych wartości zeta

Data obrony: 14 listopada 2011 09:45 Data nadania: 24 listopada 2011 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Henryk Żołądek
Recenzenci: dr hab. Piotr Mormul, prof. UW, prof. dr hab. Grzegorz Karch (Uniwersytet Wrocławski)
Autoreferat w języku polskim Rozprawa

Marta Burzańska (Uniwersytet Mikołaja Kopernika w Toruniu)

New Query Rewriting Methods for Structured and Semi-Structured Databases

Data obrony: 18 października 2011 14:15 Data nadania: 24 listopada 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Krzysztof Stencel
Recenzenci: prof. dr hab. Andrzej Szałas, prof. dr hab. Tadeusz Morzy (Politechnika Poznańska)
Autoreferat w języku polskim Rozprawa

Paweł Daniluk (Uniwersytet Warszawski)

Analiza podobieństwa struktur przestrzennych białek przy użyciu deskryptorów lokalnej struktury

Data obrony: 20 października 2011 14:15 Data nadania: 24 listopada 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Bogdan Lesyng
Recenzenci: prof. dr hab. Jerzy Tiuryn, prof. dr hab. Janusz Bujnicki (IIMCB w Warszawie)
Autoreferat w języku polskim Rozprawa

Bogusław Kluge (Uniwersytet Warszawski)

Computational Methods and Stochastic Models in Proteomics

Data obrony: 12 lipca 2011 11:00 Data nadania: 13 października 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Anna Gambin
Recenzenci: dr hab. Jacek Miękisz, prof. Tomasz Burzykowski (Uniwersytet Hasselt)
Autoreferat w języku polskim Rozprawa

Błażej Miasojedow (Uniwersytet Warszawski)

Oszacowania błędów estymatorów stosowanych w markowowskich metodach Monte Carlo

Data obrony: 21 czerwca 2011 13:00 Data nadania: 13 października 2011 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Wojciech Niemiro, prof. UW
Recenzenci: dr hab. Katarzyna Pietruska-Pałuba, prof. UW, prof. dr hab. Jacek Wesołowski
Autoreferat w języku polskim Rozprawa

Szymon Toruńczyk (Uniwersytet Warszawski)

Języki slów proskończonych i problem ograniczoności (Languages of profinite words and the limitedness problem)

Data obrony: 9 czerwca 2011 14:15 Data nadania: 16 czerwca 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Mikołaj Bojańczyk, prof. UW
Recenzenci: dr hab. Sławomir Lasota, prof. UW, prof. Jean-Eric Pin (Paris, LIAFA)
Autoreferat w języku polskim Rozprawa

Marcin Dziubiński (Uniwersytet Warszawski)

Complexity issues in multimodal logics for multiagent systems

Data obrony: 27 stycznia 2011 14:00 Data nadania: 24 lutego 2011 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Barbara Dunin-Kęplicz, prof. UW
Recenzenci: dr hab. Lidia Tendera, prof. UO, dr hab. Nguyen Anh Linh
Autoreferat w języku polskim Rozprawa

Olga Ziemiańska (Uniwersytet Warszawski)

Complexes of groups on the categories with loops

Data obrony: 18 listopada 2010 14:15 Data nadania: 25 listopada 2010 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Stefan Jackowski
Recenzenci: prof. dr hab. Stanislaw Betley, dr hab. Jolanta Słomińska (Politechnika Warszawska)
Autoreferat w języku polskim Rozprawa

Agnieszka Tarasińska (Uniwersytet Warszawski)

Deterministic and statistical solutions of micropolar fluid equations

Data obrony: 28 października 2010 14:00 Data nadania: 25 listopada 2010 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Grzegorz Łukaszewicz
Recenzenci: prof. dr hab. Jan Cholewa, dr hab. Piotr Mucha
Autoreferat w języku polskim Rozprawa

Jarosław Dominik Kuśmierek (Uniwersytet Warszawski)

A Mixin Based Object-Oriented Calculus: True Modularity in Object-Oriented Programming

Data obrony: 15 czerwca 2010 11:00 Data nadania: 24 czerwca 2010 Stopień doktora nauk matematycznych w zakresie informatyki Promotorzy: Professor Viviana Bono (Universita’Degli Studi di Torino, Włochy), prof. dr hab. Paweł Urzyczyn
Recenzenci: Professor Kim Bruce (Pomona College, USA), prof. dr hab. Andrzej Tarlecki
Autoreferat w języku polskim Rozprawa

Tomasz Waleń (Uniwersytet Warszawski)

Algorytmy dokładne i aproksymacyjne dla wybranych problemów kombinatorycznych w biologii obliczeniowej

Data obrony: 15 kwietnia 2010 16:15 Data nadania: 29 kwietnia 2010 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Krzysztof Diks
Recenzenci: dr hab. Anna Gambin, prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie)
Autoreferat w języku polskim Rozprawa

Marzena Filipowicz-Chomko (Politechnika Białostocka)

Struktura i własności wyróżnionych typów algebr filialnych

Data obrony: 30 marca 2010 11:30 Data nadania: 29 kwietnia 2010 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Edmund Puczyłowski
Recenzenci: dr hab. Jerzy Matczuk, prof. dr hab. Andrzej Kisielewicz (Uniwersytet Wrocławski)
Autoreferat w języku polskim Rozprawa