Nie jesteś zalogowany |
Doktoraty
Joanna Ochremiak (Uniwersytet Warszawski)
Extended constraint satisfaction problems
Data obrony: 24 lutego 2016 14:15 Data nadania: 25 lutego 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Bartosz KlinPromotor pomocniczy: dr Szymon Toruńczyk
Recenzenci: prof. Anuj Dawar (University of Cambridge), prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie)
Rozprawa
Filip Mazowiecki (Uniwersytet Warszawski)
Frontiers of tractability for recursive queries
Data obrony: 24 lutego 2016 12:00 Data nadania: 25 lutego 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab Emanuel Kieroński (Uniwersytet Wrocławski)Promotor pomocniczy: dr Filip Murlak (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Recenzenci: dr hab. Lidia Tendera (Uniwersytet Opolski), prof. Stephane Demri (CNRS)
Autoreferat w języku polskim
Dariusz Leniowski (Uniwersytet Warszawski)
On Maintaining Online Bipartite Matchings with Augmentations
Data obrony: 22 lutego 2016 12:00 Data nadania: 25 lutego 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Piotr Sankowski, prof. UWRecenzenci: dr hab. Marcin Bieńkowski (Uniwersytet Wrocławski), prof. Monika Henzinger (University of Vienna)
Rozprawa
Michał Kaczmarczyk (Uniwersytet Warszawski)
Fragmentation in storage systems with duplicate elimination
Data obrony: 28 stycznia 2016 12:00 Data nadania: 25 lutego 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. Krzysztof Diks (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)Promotor pomocniczy: dr Cezary Dubnicki (9LivesData LLC)
Recenzenci: prof. dr hab. inż. Jacek Kitowski (Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie), prof. dr hab. inż. Marek Tudruj (Instytut Podstaw Informatyki PAN)
Marcin Andrychowicz (Uniwersytet Warszawski)
Multiparty Computation Protocols Based on Cryptocurrencies
Data obrony: 18 grudnia 2015 12:00 Data nadania: 21 stycznia 2016 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Stefan Dziembowski (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)Recenzenci: dr hab. Marek Klonowski, prof. PWr. (Politechnika Wrocławska), dr hab. inż. Krzysztof Szczypiorski, prof. PW (Politechnika Warszawska)
Autoreferat w języku polskim Rozprawa
Jan Poleszczuk (Uniwersytet Warszawski)
Exploring potential tumour growth modulating mechanisms in cells having different status of TP53 gene
Data obrony: 14 grudnia 2015 14:15 Data nadania: 17 grudnia 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotorzy: dr hab. Urszula Foryś (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), dr hab. n. med. Maria Wideł (Politechnika Śląska w Gliwicach)Recenzenci: prof. Bogdan Lesyng (Wydział Fizyki UW), prof. Andrzej Świerniak (Politechnika Śląska w Gliwicach)
Rozprawa
Marcin Małogrosz (Uniwersytet Warszawski)
Mathematical analysis of morphogen transport models
Data obrony: 19 października 2015 16:30 Data nadania: 19 listopada 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotorzy: prof. dr hab. Dariusz Wrzosek (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Philippe Laurencot (Uniwersytet w Tuluzie)Recenzenci: prof. Anna Marciniak-Czochra (IWR, Heidelberg), dr hab. Agnieszka Świerczewska-Gwiazda (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
Rozprawa
Ali Rezaei Divroodi (Uniwersytet Warszawski)
Bisimulation Equivalence in Description Logics and Its Applications
Data obrony: 20 października 2015 11:00 Data nadania: 22 października 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: dr hab. Linh Anh Nguyen (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)Recenzenci: prof. Wojciech Penczek (Instytut Podstaw Informatyki PAN), dr hab. Lidia Tendera (Uniwersytet Opolski)
Rozprawa
Nathanaёl Fijalkow (LIAFA i WMIM UW)
Counting and Randomising in Automata Theory
Data obrony: 16 października 2015 14:00 Data nadania: 22 października 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotorzy: prof. dr hab. Mikołaj Bojańczyk (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. Thomas Colcombet (University Paryż 7, Francja)Recenzenci: prof. Wolfgang Thomas (RWTH Aachen University), prof. Antonín Kučera (Masaryk University, Brno)
Rozprawa
Piotr Minakowski (Uniwersytet Warszawski)
Fluid model of crystal plasticity - mathematical properties and computer simulations
Data obrony: 30 września 2015 14:00 Data nadania: 22 października 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. dr hab. Piotr GwiazdaKopromotor: prof. Josef Málek (Charles University in Prague)
Recenzenci: prof. dr hab. inż. Henryk Petryk (Instytut Podstawowych Problemów Techniki PAN), prof. Endre Suli (University of Oxford)
Rozprawa
Grzegorz Marczyński (Uniwersytet Warszawski)
Specifications of Software Architectures using Diagrams of Constructions
Data obrony: 3 lipca 2015 16:30 Data nadania: 24 września 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. dr hab. Andrzej Tarlecki (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)Recenzenci: dr hab. Bartosz Klin (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego), prof. dr hab. Thorsten Altenkirch (University of Nottingham)
Rozprawa
Michał Woźniak (Uniwersytet Warszawski)
Computational aspects of presence of drug resistance mechanisms
Data obrony: 16 czerwca 2015 14:15 Data nadania: 18 czerwca 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotorzy: prof. dr hab. Jerzy Tiuryn (Uniwersytet Warszawski), prof. Limsoon Wong (National University of Singapore)Recenzenci: prof. dr hab. Bogdan Lesyng (Wydział Fizyki UW), prof. dr hab. Andrzej Polański (Politechnika Śląska)
Rozprawa
Filip Klawe (Uniwersytet Warszawski)
Mathematical analysis of thermo-visco-elastic models
Data obrony: 11 czerwca 2015 15:00 Data nadania: 18 czerwca 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: prof. Piotr GwiazdaPromotor pomocniczy: dr hab. Agnieszka Świerczewska-Gwiazda
Recenzenci: prof. Tadeusz Nadzieja (Uniwersytet Opolski), prof. Irena Pawłow-Niezgódka (Instytut Badań Systemowych PAN)
Rozprawa
Stanisław Szawiel (Uniwersytet Warszawski)
A Unified Approach to Opetopic Algebra
Data obrony: 11 czerwca 2015 14:15 Data nadania: 18 czerwca 2015 Stopień doktora nauk matematycznych w zakresie matematyki Promotor: dr hab. Marek ZawadowskiRecenzenci: prof. Martin Hyland (University of Cambridge), dr hab. Bartosz Klin (Uniwersytet Warszawski)
Rozprawa
Paweł Rzążewski (Politechnika Warszawska)
Exact algorithms for graph-theoretic frequency assignment problems
Data obrony: 11 czerwca 2015 16:15 Data nadania: 18 czerwca 2015 Stopień doktora nauk matematycznych w zakresie informatyki Promotor: prof. Zbigniew Lonc (Politechnika Warszawska)Promotor pomocniczy: dr Konstanty Junosza-Szaniawski (Politechnika Warszawska)
Recenzenci: dr hab. inż. Dariusz Dereniowski (Politechnika Gdańska), dr hab. Michał Hanćkowiak (Uniwersytet A.Mickiewicza)
Rozprawa
