Anh Linh Nguyen (Uniwersytet Warszawski)

Wybrane zagadnienia semantyczne i obliczeniowe programowania w logikach modalnych

Status: Accepted Awarding date: Feb. 26, 2009 Field: informatics Reviewers: dr hab. Włodzimierz Andrzej Drabent (Instytut Podstaw Informatyki PAN); dr hab. Damian Niwiński; prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. John Jules Meyer (Utrecht University, Holandia)

Anna Talarczyk (Uniwersytet Warszawski)

Twierdzenia graniczne związane z losową dynamiką układów cząstek

Status: Accepted Awarding date: Jan. 22, 2009 Field: mathematics Reviewers: prof. dr hab. Stanisław Kwapień; dr hab. Zbigniew Palmowski (Uniwersytet Wrocławski); dr hab. Andrzej Rozkosz (Uniwersytet Mikołaja Kopernika w Toruniu); prof. dr hab. Jerzy Zabczyk (Instytut Matematyczny PAN)

Mikołaj Bojańczyk (Uniwersytet Warszawski)

Klasyfikacja regularnych języków drzew

Status: Accepted Awarding date: Nov. 20, 2008 Field: informatics Reviewers: prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Leszek Pacholski (Uniwersytet Wrocławski); dr hab. Wiesław Szwast, prof. Uniwersytetu Opolskiego; prof. dr hab. Paweł Urzyczyn; prof. Wolfgang Thomas (RWTH Aachen University, Niemcy)

Anna Gambin (Uniwersytet Warszawski)

Kontekstowe uliniowienie sekwencji molekularnych

Status: Accepted Awarding date: Oct. 30, 2008 Field: informatics Reviewers: prof. dr hab. Jacek Błażewicz (Politechnika Poznańska), prof. dr hab. Janusz Bujnicki (Międzynarodowy Instytut Biologii Molekularnej i Komórkowej); prof. dr hab. Mirosław Kutyłowski (Uniwersytet Wrocławski); dr hab. Jacek Miękisz oraz Prof. Martin Vingron (Max Planck Institute for Molecular Genetics, Niemcy)

Hung Son Nguyen (Uniwersytet Warszawski)

Aproksymacyjne wnioskowanie Boolowskie: podstawy i zastosowania w eksploracji danych

Status: Accepted Awarding date: April 3, 2008 Field: informatics Reviewers: dr hab. Marek Piotrów (Uniwersytet Wrocławski); prof. dr hab. Roman Słowiński (Politechnika Poznańska); dr hab. Jerzy Tyszkiewicz (Uniwersytet Warszawski); prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie)

Sławomir Lasota (Uniwersytet Warszawski)

Złożoność obliczeniowa równoważności systemów o nieskończonej liczbie stanów

Status: Accepted Awarding date: Jan. 24, 2008 Field: informatics Reviewers: dr hab. Edward Ochmański (Uniwersytet Mikołaja Kopernika w Toruniu); dr hab. Damian Niwiński (Uniwersytet Warszawski); dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski); dr hab. Wiesław Szwast (Uniwersytet Opolski)

Wiesław Kubiś (Akademia Świętokrzyska)

Klasy przestrzeni zwartych generowane przez retrakcje

Status: Accepted Awarding date: Nov. 22, 2007 Field: mathematics Reviewers: prof. Lech Górniewicz (Uniwersytet Mikołaja Kopernika w Toruniu); dr hab. Piotr Koszmider (Politechnika Łódzka); dr hab. Grzegorz Plebanek (Uniwersytet Wrocławski); prof. dr hab. Roman Pol (Uniwersytet Warszawski)

Agnieszka Kałamajska (Uniwersytet Warszawski)

Quasiwypukłość i teoria miar Younga

Status: Accepted Awarding date: Jan. 25, 2007 Field: mathematics Reviewers: prof. dr hab. Piotr Biler (Uniwersytet Wrocławski); prof. dr hab. Lech Górniewicz (Uniwersytet Mikołaja Kopernika w Toruniu); dr hab. Piotr Rybka; prof. UW, prof. dr hab. Tadeusz Rzeżuchowski (Politechnika Warszawska)

Piotr Gwiazda (Uniwersytet Warszawski)

Metoda nierówności entropijnych i miar Younga dla odwzorowań wielowartościowych

Status: Accepted Awarding date: Oct. 26, 2006 Field: mathematics Reviewers: prof. dr hab. Lech Górniewicz (Uniwersytet Mikołaja Kopernika w Toruniu); dr hab. Grzegorz Karch (Uniwersytet Wrocławski); prof. dr hab. Andrzej Krzywicki (Uniwersytet Wrocławski); dr hab. Paweł Strzelecki, prof. UW

Karol Dziedziul (Politechnika Gdańska)

Formy asymptotyczne

Status: Accepted Awarding date: June 1, 2006 Field: mathematics Reviewers: prof. dr hab. Wiesław Pleśniak (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Ryszard Szwarc (Uniwersytet Wrocławski); prof. dr hab. Przemysław Wojtaszczyk (Uniwersytet Warszawski); prof. Joachim Stőckler (Universität Dortmund, Niemcy)

Witold Rosicki (Uniwersytet Gdański)

O jednoznaczności rozkładu na iloczyn kartezjański rozmaitości, wielościanów i continuów

Status: Accepted Awarding date: Jan. 19, 2006 Field: mathematics Reviewers: prof. Robert Daverman (University of Tennessee Knoxville, USA); prof. dr hab. Józef Krasinkiewicz (Instytut Matematyczny PAN); dr hab. Sławomir Nowak, prof. UW

Katarzyna Dominika Pietruska Pałuba (Uniwersytet Warszawski)

Ruch Browna na fraktalach i dyfuzje na przestrzeniach metrycznych

Status: Accepted Awarding date: Nov. 24, 2005 Field: mathematics Reviewers: prof. dr hab. Stanisław Kwapień (Uniwersytet Warszawski); prof. dr hab. Andrzej Lasota (Uniwersytet Śląski); doc. dr hab. Anna Kamont (Polska Akademia Nauk)

Piotr Mucha (Uniwersytet Warszawski)

Analiza układu równań Naviera-Stokesa z warunkami brzegowymi typu poślizgu

Status: Accepted Awarding date: May 19, 2005 Field: mathematics Reviewers: prof. dr hab. Tomasz Dłotko (Uniwersytet Śląski); dr hab. Grzegorz Karch (Uniwersytet Wrocławski); prof. dr hab. Grzegorz Łukaszewicz (Uniwersytet Warszawski); prof. Giovani P.Galdi (University of Pittsburgh)

Paweł Strzelecki (Uniwersytet Warszawski)

Regularność słabych rozwiązań układów równań eliptycznych z krytyczną nieliniowością

Status: Accepted Awarding date: March 17, 2005 Field: mathematics Reviewers: dr hab. Waldemar Hebisch, prof. U. Wr.; prof. dr hab. Tadeusz Iwaniec (Syracuse University Dep. of Math. NY, USA); prof. dr hab. Przemysław Wojtaszczyk; prof. dr hab. Wojciech Zajączkowski (Instytut Matematyczny PAN)

Czesław Bagiński (Politechnika Białostocka Modularne algebry grupowe)

None

Status: Accepted Awarding date: Jan. 20, 2005 Field: mathematics Reviewers: dr hab. Zbigniew Marciniak, prof. UW; prof. dr hab. Daniel Simson (Uniwersytet Mikołaja Kopernika w Toruniu); prof. dr hab. Wital Suszczański (Politechnika Śląska); prof. Sudarshan K. Sehgal (University of Alberta, Edmonton, Kanada)