Marek Nowicki (Uniwersytet Mikołaja Kopernika w Toruniu)

Partitioned Global Address Space (Opracowanie nowych metod programowania równoległego w Javie w oparciu o paradygmat PGAS)

Data obrony: 11 czerwca 2015 14:15 Data nadania: 18 czerwca 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Piotr Bała
Promotor pomocniczy: dr Michał Chlebiej
Recenzenci: dr hab. inż. Paweł T. Wojciechowski (Politechnika Poznańska), prof. dr hab. inż. Marek Tudruj (Instytut Podstaw Informatyki PAN)
Rozprawa

Karol Pryszczepko (Uniwersytet w Białymstoku)

Przemienne pierścienie filialne

Data obrony: 28 maja 2015 14:15 Data nadania: 18 czerwca 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Ryszard Andruszkiewicz (Uniwersytet w Białymstoku)
Recenzenci: prof. dr hab. Piotr Grzeszczuk (Politechnika Białostocka), prof. dr hab. Jan Okniński (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Rozprawa

Łukasz Czajka (Uniwersytet Warszawski)

Semantic consistency proofs for systems of illative combinatory logic

Data obrony: 1 czerwca 2015 12:15 Data nadania: 18 czerwca 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Paweł Urzyczyn (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Recenzenci: prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie), prof. Herman Geuvers (Radboud University)
Rozprawa

Jakub Łącki (Uniwersytet Warszawski)

Dynamic Graph Algorithms for Connectivity Problems

Data obrony: 28 maja 2015 14:15 Data nadania: 18 czerwca 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Piotr Sankowski
Recenzenci: dr hab. Marcin Bieńkowski, prof. Italiano Giuseppe
Rozprawa

Aleksander Jankowski (Uniwersytet Warszawski)

Modeling transcription factor complex binding to eukaryotic genomes

Data obrony: 14 maja 2015 14:10 Data nadania: 21 maja 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Jerzy Tiuryn
Recenzenci: prof. dr hab. Bogdan Lesyng (Wydział Fizyki UW), prof. Sven Rahmann (Uniwersytet Duisburg-Essen)
Rozprawa

Maciej Sykulski (Uniwersytet Warszawski)

Analiza i modelowanie danych w genomice człowieka (Data analysis and modeling in human genomics)

Data obrony: 13 kwietnia 2015 12:00 Data nadania: 23 kwietnia 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Anna Gambin, prof. UW
Recenzenci: prof. dr hab. Wojciech Niemiro, prof. dr hab. Marta Pasenkiewicz-Gierula
Rozprawa

Łukasz Pawelec (Uniwersytet Warszawski)

Statistics of return times and Hausdorff dimension

Data obrony: 9 kwietnia 2015 15:00 Data nadania: 23 kwietnia 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. Anna Zdunik (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Recenzenci: dr hab. Katarzyna Pietruska-Pałuba (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Grzegorz Świątek (Politechnika Warszawska)
Rozprawa

Piotr Skowron (Uniwersytet Warszawski)

Zarządzanie zasobami w egoistycznych i kooperacyjnych systemach rozproszonych (Resource allocation in selﬁsh and cooperative distributed systems)

Data obrony: 2 kwietnia 2015 14:00 Data nadania: 23 kwietnia 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. inż. Piotr Faliszewski (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Promotor pomocniczy: dr Krzysztof Rządca (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Recenzenci: dr hab. Adam Wierzbicki (Polsko-Japońska Akademia Technik Komputerowych), prof. Ulle Endriss (University of Amsterda)
Rozprawa

Michał Startek (Uniwersytet Warszawski MISDoMP)

Modelling the evolution of mobile genetic elements

Data obrony: 19 marca 2015 14:30 Data nadania: 26 marca 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotorzy: dr hab. Anna Gambin, prof. UW, dr hab. inż. Dariusz Grzebelus (Uniwersytet Rolniczy w Krakowie)
Recenzenci: prof. Jacek Miękisz, dr hab. inż. Piotr Formanowicz (Politechnika Poznańska)
Rozprawa

Przemysław Chojecki (umowa cotutelle: Uniwersytet Warszawski i Uniwersytet Paris VI)

p-adic local Langlands correspondence and geometry

Data obrony: 16 stycznia 2015 00:00 Data nadania: 26 lutego 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotorzy: prof. dr hab. Adrian Langer, prof. dr hab. Jean Fracois Dat
Recenzenci: prof. dr hab. Christophe Breuil, dr Claus Sorensen
Rozprawa

Grzegorz Dudziuk (Uniwersytet Warszawski)

Optimization of closed-loop controls by thermostats for a class of nonlinear reaction-diffusion processes

Data obrony: 19 stycznia 2015 12:00 Data nadania: 22 stycznia 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Marek Niezgódka (Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego UW)
Recenzenci: prof. dr hab. Piotr Gwiazda (Uniwersytet Warszawski), prof. dr hab. inż. Andrzej Świerniak (Politechnika Śląska)
Rozprawa

Grzegorz Jamróz (Uniwersytet Warszawski)

Structured population models of cell differentiation

Data obrony: 12 stycznia 2015 12:15 Data nadania: 22 stycznia 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotorzy: prof. dr hab. Piotr Gwiazda (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Dr Anna Marciniak-Czochra (Uniwersytet w Heidelbergu)
Recenzenci: dr hab. Agnieszka Kałamajska, prof. UW, prof. dr hab. Ryszard Rudnicki (Instytut Matematyczny PAN)
Rozprawa

Iwona Skrzypczak (Uniwersytet Warszawski)

Hardy–type inequalities and nonlinear eigenvalue problems

Data obrony: 4 grudnia 2014 15:30 Data nadania: 18 grudnia 2014 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Agnieszka Kałamajska, prof. UW
Recenzenci: dr hab. Adam Osękowski (Uniwersytet Warszawski), dr hab. Marek Galewski, prof. nadzw. (Politechnika Łódzka)
Autoreferat w języku polskim Rozprawa

Agnieszka Polak (Uniwersytet Mikołaja Kopernika w Toruniu)

Zastosowanie algorytmów kombinatorycznych i numerycznych w klasyfikacji orbit P-krytycznych bigrafow, TP-krytycznych posetów oraz sieciowych kołczanów pierwiastków

Data obrony: 11 grudnia 2014 14:00 Data nadania: 18 grudnia 2014 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Daniel Simson (Uniwersytet Mikołaja Kopernika w Toruniu)
Recenzenci: prof. dr hab. Wojciech Rytter (Uniwersytet Warszawski), prof. dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie), prof. dr hab. Jan Dymara (Uniwersytet Wrocławski)
Rozprawa

Michał Skrzypczak (Uniwersytet Warszawski)

Descriptive set theoretic methods in automata theory

Data obrony: 4 grudnia 2014 14:00 Data nadania: 18 grudnia 2014 Stopień doktora nauk matematycznych w zakresie informatyki Promotorzy: prof. dr hab. Mikołaj Bojańczyk, dr hab. Igor Walkiewicz (Universite de Bordeaux)
Recenzenci: dr hab. Leszek Kołodziejczyk (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Jacques Duparc (Universite de Lausanne)
Rozprawa