Doctorates

Marek Nowicki (Uniwersytet Mikołaja Kopernika w Toruniu)

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

Defence date: June 11, 2015, 2:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Bała
Assistant supervisor: dr Michał Chlebiej
Reviewers: dr hab. inż. Paweł T. Wojciechowski (Politechnika Poznańska), prof. dr hab. inż. Marek Tudruj (Instytut Podstaw Informatyki PAN)
Thesis

Karol Pryszczepko (Uniwersytet w Białymstoku)

Przemienne pierścienie filialne

Defence date: May 28, 2015, 2:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Ryszard Andruszkiewicz (Uniwersytet w Białymstoku)
Reviewers: prof. dr hab. Piotr Grzeszczuk (Politechnika Białostocka), prof. dr hab. Jan Okniński (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Thesis

Łukasz Czajka (Uniwersytet Warszawski)

Semantic consistency proofs for systems of illative combinatory logic

Defence date: June 1, 2015, 12:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Paweł Urzyczyn (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie), prof. Herman Geuvers (Radboud University)
Thesis

Jakub Łącki (Uniwersytet Warszawski)

Dynamic Graph Algorithms for Connectivity Problems

Defence date: May 28, 2015, 2:15 p.m. Awarding date: June 18, 2015 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Sankowski
Reviewers: dr hab. Marcin Bieńkowski, prof. Italiano Giuseppe
Thesis

Aleksander Jankowski (Uniwersytet Warszawski)

Modeling transcription factor complex binding to eukaryotic genomes

Defence date: May 14, 2015, 2:10 p.m. Awarding date: May 21, 2015 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Jerzy Tiuryn
Reviewers: prof. dr hab. Bogdan Lesyng (Wydział Fizyki UW), prof. Sven Rahmann (Uniwersytet Duisburg-Essen)
Thesis

Maciej Sykulski (Uniwersytet Warszawski)

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

Defence date: April 13, 2015, noon Awarding date: April 23, 2015 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Anna Gambin, prof. UW
Reviewers: prof. dr hab. Wojciech Niemiro, prof. dr hab. Marta Pasenkiewicz-Gierula
Thesis

Łukasz Pawelec (Uniwersytet Warszawski)

Statistics of return times and Hausdorff dimension

Defence date: April 9, 2015, 3 p.m. Awarding date: April 23, 2015 Doctor of mathematical sciences in mathematics Supervisor: prof. Anna Zdunik (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: dr hab. Katarzyna Pietruska-Pałuba (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Grzegorz Świątek (Politechnika Warszawska)
Thesis

Piotr Skowron (Uniwersytet Warszawski)

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

Defence date: April 2, 2015, 2 p.m. Awarding date: April 23, 2015 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. inż. Piotr Faliszewski (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Assistant supervisor: dr Krzysztof Rządca (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Reviewers: dr hab. Adam Wierzbicki (Polsko-Japońska Akademia Technik Komputerowych), prof. Ulle Endriss (University of Amsterda)
Thesis

Michał Startek (Uniwersytet Warszawski MISDoMP)

Modelling the evolution of mobile genetic elements

Defence date: March 19, 2015, 2:30 p.m. Awarding date: March 26, 2015 Doctor of mathematical sciences in computer sciences Supervisors: dr hab. Anna Gambin, prof. UW, dr hab. inż. Dariusz Grzebelus (Uniwersytet Rolniczy w Krakowie)
Reviewers: prof. Jacek Miękisz, dr hab. inż. Piotr Formanowicz (Politechnika Poznańska)
Thesis

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

p-adic local Langlands correspondence and geometry

Defence date: Jan. 16, 2015, midnight Awarding date: Feb. 26, 2015 Doctor of mathematical sciences in mathematics Supervisors: prof. dr hab. Adrian Langer, prof. dr hab. Jean Fracois Dat
Reviewers: prof. dr hab. Christophe Breuil, dr Claus Sorensen
Thesis

Grzegorz Dudziuk (Uniwersytet Warszawski)

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

Defence date: Jan. 19, 2015, noon Awarding date: Jan. 22, 2015 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Marek Niezgódka (Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego UW)
Reviewers: prof. dr hab. Piotr Gwiazda (Uniwersytet Warszawski), prof. dr hab. inż. Andrzej Świerniak (Politechnika Śląska)
Thesis

Grzegorz Jamróz (Uniwersytet Warszawski)

Structured population models of cell differentiation

Defence date: Jan. 12, 2015, 12:15 p.m. Awarding date: Jan. 22, 2015 Doctor of mathematical sciences in mathematics Supervisors: prof. dr hab. Piotr Gwiazda (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Dr Anna Marciniak-Czochra (Uniwersytet w Heidelbergu)
Reviewers: dr hab. Agnieszka Kałamajska, prof. UW, prof. dr hab. Ryszard Rudnicki (Instytut Matematyczny PAN)
Thesis

Iwona Skrzypczak (Uniwersytet Warszawski)

Hardy–type inequalities and nonlinear eigenvalue problems

Defence date: Dec. 4, 2014, 3:30 p.m. Awarding date: Dec. 18, 2014 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Agnieszka Kałamajska, prof. UW
Reviewers: dr hab. Adam Osękowski (Uniwersytet Warszawski), dr hab. Marek Galewski, prof. nadzw. (Politechnika Łódzka)
Summary in Polish Thesis

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

Defence date: Dec. 11, 2014, 2 p.m. Awarding date: Dec. 18, 2014 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Daniel Simson (Uniwersytet Mikołaja Kopernika w Toruniu)
Reviewers: 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)
Thesis

Michał Skrzypczak (Uniwersytet Warszawski)

Descriptive set theoretic methods in automata theory

Defence date: Dec. 4, 2014, 2 p.m. Awarding date: Dec. 18, 2014 Doctor of mathematical sciences in computer sciences Supervisors: prof. dr hab. Mikołaj Bojańczyk, dr hab. Igor Walkiewicz (Universite de Bordeaux)
Reviewers: dr hab. Leszek Kołodziejczyk (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Jacques Duparc (Universite de Lausanne)
Thesis