Doctorates

Aneta Wróblewska-Kamińska (Uniwersytet Warszawski)

An application of Orlicz spaces in partial differential equations

Defence date: Jan. 7, 2013, 2 p.m. Awarding date: Jan. 24, 2013 Doctor of mathematical sciences in mathematics Supervisor: dr hab. Piotr Gwiazda, prof. UW
Reviewers: prof. dr hab. Piotr Mucha (Uniwersytet Warszawski), dr hab. Krzysztof Chełmiński (Politechnika Warszawska)
Summary in Polish Thesis

Paweł Leszczyński (Uniwersytet Mikołaja Kopernika w Toruniu)

An update propagator for joint scalable storage

Defence date: Jan. 17, 2013, 2 p.m. Awarding date: Jan. 24, 2013 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Krzysztof Stencel, prof. UW
Reviewers: dr hab. Dominik Ślęzak (Uniwersytet Warszawski), prof. dr hab. Henryk Rybiński (Politechnika Warszawska)
Summary in Polish Thesis

Tomasz Tkaliński (Uniwersytet Warszawski)

Wybrane aspekty wyceny i zabezpieczenia wypłat w modelach rynku z czasem dyskretnym

Defence date: Dec. 20, 2012, 10 a.m. Awarding date: Dec. 20, 2012 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Jacek Jakubowski
Reviewers: prof. dr hab. Andrzej Palczewski (Uniwersytet Warszawski), prof. dr hab. Łukasz Stettner (Instytut Matematyczny PAN)
Summary in Polish Thesis

Mikołaj Rybiński (Uniwersytet Warszawski)

Modelling networks of biochemical reactions

Defence date: Nov. 22, 2012, 4 p.m. Awarding date: Nov. 29, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Anna Gambin, prof. UW
Reviewers: prof. dr hab. Bogdan Lesyng (Uniwersytet Warszawski), prof. dr hab. Jacek Błażewicz (Politechnika Poznańska)
Summary in Polish Thesis

Leszek Gryz (Uniwersytet Warszawski)

Impact of Data Organization on Distributed Storage System

Defence date: Nov. 22, 2012, 2:15 p.m. Awarding date: Nov. 29, 2012 Doctor of mathematical sciences in computer sciences Supervisors: prof. dr hab. Krzysztof Diks, dr Cezary Dubnicki
Reviewers: dr hab. Krzysztof Stencel (Uniwersytet Warszawski), prof. dr hab. Krzysztof Zieliński (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie)
Summary in Polish Thesis

Łukasz Lew (Uniwersytet Warszawski)

Modeling Go Game as a Large Decomposable Decision Process

Defence date: Nov. 15, 2012, 2:15 p.m. Awarding date: Nov. 29, 2012 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Krzysztof Diks
Reviewers: dr hab. Sławomir Lasota (Uniwersytet Warszawski), prof. dr hab. Franciszek Seredyński (Uniwersytet Kardynała Stefana Wyszyńskiego)
Summary in Polish Thesis

Jakub Jurkiewicz (Uniwersytet Warszawski)

Modelowanie rozproszonych systemów typu deskop grid

Defence date: Nov. 8, 2012, 2:15 p.m. Awarding date: Nov. 29, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Bała, prof. UMK
Reviewers: prof. dr hab. inż. Witold Dzwinel (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie), dr hab. Dominik Ślęzak (Uniwersytet Warszawski)
Summary in Polish Thesis

Piotr Stańczyk (Uniwersytet Warszawski)

Theory and practice of computing maximum matchings in graphs

Defence date: June 25, 2012, 1 p.m. Awarding date: Sept. 27, 2012 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Krzysztof Diks
Reviewers: dr hab. Mirosław Kowaluk (Uniwersytet Warszawski), prof. dr hab. Zbigniew Palka (Uniwersytet im. Adama Mickiewicza w Poznaniu)
Summary in Polish Thesis

Jakub Radoszewski (Uniwersytet Warszawski)

Algorithmic and Combinatorial Problems Related to Enumeration of Repetitions in Words

Defence date: June 13, 2012, 4 p.m. Awarding date: June 14, 2012 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Wojciech Rytter
Reviewers: prof. dr hab. Krzysztof Diks (Uniwersytet Warszawski), prof. dr hab. Jarosław Grytczuk (Uniwersytet Jagielloński w Krakowie)
Summary in Polish Thesis

Łukasz Pankowski (Uniwersytet Gdański)

On some communicational properties of quantum states

Defence date: June 6, 2012, 2 p.m. Awarding date: June 14, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Michał Horodecki, prof. UG
Reviewers: dr hab. Konrad Banaszek (Uniwersytet Warszawski), prof. dr Renato Renner (ETH Zurich)
Summary in Polish Thesis

Agnieszka Kozubek (Uniwersytet Warszawski)

A Formalization of the Naive Type Theory

Defence date: May 31, 2012, 2 p.m. Awarding date: June 14, 2012 Doctor of mathematical sciences in computer sciences Supervisor: prof. dr hab. Paweł Urzyczyn
Reviewers: prof. Zhaohui Luo (University of London), dr hab. Aleksy Schubert (Uniwersytet Warszawski)
Summary in Polish Thesis

Sławomir Kolasiński (Uniwersytet Warszawski)

Integral Menger curvature for sets of arbitrary dimension and codimension

Defence date: May 8, 2012, 4:15 p.m. Awarding date: May 24, 2012 Doctor of mathematical sciences in mathematics Supervisor: prof. dr hab. Paweł Strzelecki
Reviewers: prof. dr hab. Tadeusz Mostowski (Uniwersytet Warszawski), prof. dr hab. Bronisław Jakubczyk (Instytut Matematyczny PAN)
Summary in Polish Thesis

Marek Cygan (Uniwersytet Warszawski)

Cut&Count technique for graph connectivity problems parameterized by treewidth

Defence date: April 19, 2012, 2 p.m. Awarding date: April 26, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Łukasz Kowalik
Reviewers: prof. dr hab. Krzysztof Diks (Uniwersytet Warszawski), prof. dr hab. Mirosław Kutyłowski (Politechnika Wrocławska)
Summary in Polish Thesis

Marcin Pilipczuk (Uniwersytet Warszawski)

New techniques applicable to selected NP-hard problems

Defence date: March 29, 2012, 2:15 p.m. Awarding date: April 26, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Łukasz Kowalik
Reviewers: prof. dr hab. Wojciech Rytter (Uniwersytet Warszawski), prof. Hans L. Bodlaender (Utrecht University)
Summary in Polish Thesis

Błażej Zyglarski (Uniwersytet Mikołaja Kopernika w Toruniu)

Wykorzystanie sieci neuronowych i algorytmów genetycznych w analizie i kategoryzacji dokumentów naukowych

Defence date: March 15, 2012, 2:15 p.m. Awarding date: March 22, 2012 Doctor of mathematical sciences in computer sciences Supervisor: dr hab. Piotr Bała, prof. UMK
Reviewers: prof. dr hab. Mieczysław Kłopotek (Instytut Podstaw Informatyki PAN), dr hab. Hung Son Nguyen (Uniwersytet Warszawski)
Summary in Polish Thesis