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 Gwiazda
Kopromotor: 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 Gwiazda
Promotor 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 Zawadowski
Recenzenci: 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

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