Nie jesteś zalogowany | Zaloguj się

PL /
EN

Instytut Matematyki

Algebraiczne działania torusa: geometria i kombinatoryka
Kierownik: prof. dr hab. Jarosław Wiśniewski
Algebry skończenie prezentowalne i półgrupowe algebry noetherowskie
Kierownik: prof. dr hab. Jan Okniński
Analiza modeli stochastycznych
Kierownik: dr hab. Piotr Miłoś, prof. IMPAN
Analiza na przestrzeniach metrycznych i jej zastosowania w nieliniowych równaniach eliptycznych, rachunku prawdopodobieństwa i rachunku wariacyjnym
Kierownik: prof. dr hab. Paweł Strzelecki
Analiza układów stochastycznych z geometrią
Kierownik: dr hab. Piotr Miłoś, prof. IMPAN
Analiza złożonych układów stochastycznych
Kierownik: prof. dr hab. Tomasz Bojdecki
Antycypująca całka Skorochoda w przestrzeniach konuklearnych
Kierownik: prof. dr hab. Tomasz Bojdecki
Badanie procesów Bernoulliego i chaosu Gaussowskiego
Całkowa krzywizna Mengera dla powierzchni dowolnego kowymiaru
Kierownik: prof. dr hab. Paweł Strzelecki
Continua dziedzicznie nierozkładalne wyższych wymiarów
Kierownik: prof. dr hab. Elżbieta Pol
Cykle graniczne dla wielomianowych pól wektorowych (promotorski)
Kierownik: prof. dr hab. Henryk Żołądek
Czasy lokalne samoprzecięć procesów Gaussa w S'
Kierownik: prof. dr hab. Tomasz Bojdecki
Deterministyczne i losowe zjawiska w układach dynamicznych
Kierownik: prof. dr hab. Krzysztof Barański
Detrministyczne algorytmy faktoryzacji liczb naturalnych i wielomianów nad ciałem skończonym
Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik: dr hab. Leszek Kołodziejczyk
Dowodowość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik: dr hab. Leszek Kołodziejczyk
Dwustronne oszacowania wieloliniowych form losowych
Kierownik: dr Rafał Meller
Dynamika układów losowych
Kierownik: prof. dr hab. Anna Talarczyk-Noble
Działania grup na rozmaitościach algebraicznych
Kierownik: prof. dr hab. Mariusz Koras
Działania grup na rozmaitościach algebraicznych i przekształcenia biwymierne
Kierownik: prof. dr hab. Mariusz Koras
Ekwiwariantne homologie Khovanowa splotów periodycznych - ich struktura oraz zastosowania
Kierownik: dr Wojciech Politarczyk
Europejska Sieć Badawczo-Szkoleniowa Geometrii Algebraicznej EAGER
Kierownik: prof. dr hab. Jarosław Wiśniewski
Funkcjonały energii krzywiznowych dla niegładkich podzbiorów przestrzeni euklidesowej
Kierownik: prof. dr hab. Paweł Strzelecki
Funktory ściśle wielomianowe i hipoteza Lusztiga.
Kierownik: dr hab. Marcin Chałupnik
Geometria Algebraiczna: rozmaitości i struktury
Kierownik: prof. dr hab. Jarosław Wiśniewski
Geometria i zmiany geometrycznych struktur na rozmaitości algebraicznych
Kierownik: prof. dr hab. Adrian Langer
Geometria powierzchni afinicznych i przekształcenia biwymierne.
Kierownik: prof. dr hab. Mariusz Koras
Geometryczne energie krzywiznowe
Kierownik: prof. dr hab. Paweł Strzelecki
Geometryczne i analityczne własności równań różniczkowych zwyczajnych
Kierownik: prof. dr hab. Henryk Żołądek
Geometryczne i ergodyczne własności układów dynamicznych
Kierownik: prof. dr hab. Anna Zdunik
Geometryczne i ergodyczne własności układów dynamicznych II
Kierownik: prof. dr hab. Anna Zdunik
Geometryczne osobliwości niezmienników grupy symplektomorfizmów
Geometryczne własności ciągów homeomorfizmów Sobolewa oraz homeomorfizmów o ograniczonym wahaniu
Kierownik: Hubert Grochowski
Górne i dolne ograniczenia dla procesów stochastycznych
Kierownik: prof. dr hab. Witold Bednorz, prof. UW
Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające
Kierownik: dr hab. Leszek Kołodziejczyk
Hiperkontrakcja i nierówności funkcyjne dla miar produktowych (promotorski)
Kierownik: prof. dr hab. Krzysztof Oleszkiewicz
Ideały w przestrzeniach polskich i własność Fubiniego
Indukcja dla formuł ograniczonych i jej relatywizacje
Kierownik: dr hab. Leszek Kołodziejczyk
Interakcyjne wykrywanie modeli procesów i ich własności z danych
Kierownik: prof. dr hab. inż. Andrzej Skowron
Iteracje funkcji holomorficznych II
Jakościowe i ergodyczne własności gładkich układów dynamicznych
Kierownik: prof. dr hab. Henryk Żołądek
Kategorie dokładne, abelowe i triangulowalne w algebrze i geometrii
Kierownik: dr Agnieszka Bodzenta-Skibińska
Kategorie pochodne i geometria biwymierna
Kierownik: dr Agnieszka Bodzenta-Skibińska
Klasyfikacja przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski
Koncentracja miary
Kierownik: dr Michał Strzelecki
Koncentracja miary
Kierownik: dr hab. Radosław Adamczak, prof. ucz.
Koncentracja miary i nierówności funkcyjne
Kierownik: dr Bartłomiej Polaczyk
Konforemne układy dynamiczne i geometria zbiorów fraktalnych
Kierownik: prof. dr hab. Anna Zdunik
Konstrukcje rozmaitości algebraicznych przez działanie grup skończonych.
Kierownik: prof. dr hab. Jarosław Wiśniewski
Krzywe i powierzchnie na rozmaitościach algebraicznych
Kierownik: prof. dr hab. Jarosław Wiśniewski
Krzywe kwantowe oraz równania Schrödingera w modelach macierzowych
Krótkie odcinki pomiędzy liczbami prawie pierwszymi
Kierownik: dr Paweł Lewulis
Logiki zdaniowe i słabe kategorie wysoko-wymiarowe
Koordynator: dr hab. Marek Zawadowski, prof. UW
Lokalna geometria schematu Hilberta punktów i jej zastosowania
Kierownik: dr hab. Joachim Jelisiejew
Matematyczne modelowanie ryzyka w finansach
Kierownik: prof. dr hab. Jacek Jakubowski
Meromorficzne liniowe równania różniczkowe i wielokrotne wartości zeta (promotorski)
Kierownik: prof. dr hab. Henryk Żołądek
Metody adaptacyjne we wnioskowaniu aproksymacyjnym
Kierownik: prof. dr hab. inż. Andrzej Skowron
Metody algebraiczne w badaniu kwantowego równania Yanga-Baxtera - klamerki i algebry łączne
Kierownik: prof. dr hab. Jan Okniński
Metody algebraiczne w badaniu kwantowego równania Yanga-Baxtera - klamerki i algebry łączne
Kierownik: prof. dr hab. Jan Okniński
Metody automatycznego wnioskowania z bazy wiedzy oparte na poszukiwaniu analogii
Kierownik: prof. dr hab. inż. Andrzej Skowron
Metody półgrupowe w badaniu algebr łącznych
Kierownik: prof. dr hab. Jan Okniński
Metody półgrupowe w badaniu algebr łącznych i ich reprezentacji
Kierownik: prof. dr hab. Jan Okniński
Metody stochastyczne w teorii gładkich układów dynamicznych
Kierownik: prof. dr hab. Anna Zdunik
Metody układów dynamicznych i geometrii fraktalnej w badaniu sieci złożonych
Metody łańcuchowe w badaniu regularności procesów stochastycznych
Kierownik: prof. dr hab. Witold Bednorz, prof. UW
Miary log-wklęsłe i geometria ciał wypukłych
Kierownik: dr hab. Piotr Nayar
Morfizmy i przekątne "wymarzonych przestrzeni Mori'ego", filogenetyka oraz zastosowania pierścieni Coxa
Kierownik: dr hab. Jarosław Buczyński, prof. IMPAN
Nawiasy - konstrukcje, własności, zastosowania
New Geometry of Quantum Dynamics
Kierownik: dr hab. Tomasz Maszczyk
New computational combinatorial geometrical topological and algebraic methods applied to noetherian orders
Kierownik: prof. dr hab. Jan Okniński
Nieliniowe formy całkowe zwiazane ze skokowymi procesami Markowa
Kierownik: prof. dr hab. Katarzyna Pietruska-Pałuba
Nieliniowe równania cząstkowe: zagadnienia wariacyjne i geometryczne
Kierownik: prof. dr hab. Paweł Strzelecki
Nieliniowe układy równań eliptycznych: regularność rozwiązań, struktura osobliwości i zagadnienia pokrewne
Kierownik: prof. dr hab. Paweł Strzelecki
Nieliniowe zagadnienia geometryczne i wariacyjne
Kierownik: prof. dr hab. Paweł Strzelecki
Nieliniowe zagadnienia własne.
Kierownik: dr Paweł Bechler
Nierówności dla nieprzemiennych martyngałów
Kierownik: prof. dr hab. Adam Osękowski
Nierówności dla semimartyngałów i całek stochastycznych
Kierownik: prof. dr hab. Adam Osękowski
Nierówności dla wektorów log-wklęsłych
Kierownik: dr Marta Strzelecka
Nierówności martyngałowe i ich zastosowania do badania mnożników Fourierowskich
Kierownik: prof. dr hab. Adam Osękowski
Nierówności matryngałowe i koncentracyjne
Kierownik: dr Michał Strzelecki
Nierówności probabilistyczne
Kierownik: prof. dr hab. Rafał Latała
Nierówności stochastyczne i ich zastosowania
Kierownik: prof. dr hab. Krzysztof Oleszkiewicz
Nierówności z wagą dla klasycznych operatorów
Kierownik: prof. dr hab. Adam Osękowski
Nierówności z wagą dla operatorów maksymalnych
Kierownik: dr Mateusz Rapicki
Niskowymiarowa geometria algebraiczna afiniczna
Kierownik: prof. dr hab. Mariusz Koras
Nowe koncepcje równowagi w grach dynamicznych z niepełną informacją i ich ekonomiczne zastosowania
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
Nowe zagadnienia w teorii rozmaitości Nobelinga
Kierownik: dr Andrzej Nagórko
Nowoczesne narzędzia inżynierskie do wspomagania decyzji przeznaczone dla dowódców podczas działań ratowniczo-gaśniczych PSP w obiektach budowlanych
Kierownik: prof. dr hab. Dominik Ślęzak
Obliczenia interakcyjne w odkrywaniu wiedzy w złożonych źródłach danych
Kierownik: dr hab. Hung Son Nguyen, prof. UW
Odpowiedniość Ogusa-Vologodsky'ego dla rozmaitości osobliwych
Kierownik: Maciej Zdanowicz
Optymalne nierówności koncentracyjne
Kierownik: dr hab. Piotr Nayar
Osobliwe rozmaitości kontaktowe
Kierownik: dr Robert Śmiech
Osobliwości i globalne własności nieliniowych równań różniczkowych
Osobliwości minimalizujących przekształceń biharmonicznych
Kierownik: dr Katarzyna Mazowiecka
Osobliwości przekształceń harmonicznych
Kierownik: dr Michał Miśkiewicz
Oszacowania dla wektorów i procesów losowych
Kierownik: prof. dr hab. Rafał Latała
Oszacowania momentów i ogonów wieloliniowych form losowych (promotorski)
Kierownik: prof. dr hab. Rafał Latała
Oszacowania momentów wektorów losowych
Kierownik: dr Marta Strzelecka
Oszacowania procesów stochastycznych – podejście probabilistyczne i geometryczne
Kierownik: dr Rafał Meller
Paraboliczne zagadnienia ewolucji powierzchni w teorii przejść fazowych
Kierownik: prof. dr hab. Piotr Rybka
Pierścienie Coxa rozwiązań osobliwości ilorazowych
Kierownik: dr Maria Donten-Bury
Probabilistyczne aspekty twierdzenia Takensa o zanurzaniu
Procesy gaussowskie i oszacowania momentów zmiennych losowych.
Kierownik: Tomasz Tkocz
Przejście od arytmetyki do algebry szkolnej
Przestrzenie Orlicza-Sobolewa i ich zastosowania w nieliniowych równaniach eliptycznych, rachunku prawdopodobieństwa i rachunku wariacyjnym
Kierownik: prof. dr hab. Agnieszka Kałamajska
Przestrzenie Orlicza-Sobolewa i inne przestrzenie funkcyjne w rachunku wariacyjnym, teorii prawdopodobieństwa i nieliniowych równaniach eliptycznych
Kierownik: prof. dr hab. Agnieszka Kałamajska
Przestrzenie funkcji ciągłych
Kierownik: prof. dr hab. Witold Marciszewski
Przestrzenie funkcji ciągłych z topologią zbieżności punktowej
Kierownik: prof. dr hab. Witold Marciszewski
Punktowa teoria regularności dla zbiorów, miar i warifoldów
Kierownik: dr hab. Sławomir Kolasiński
Półgrupa podprzestrzeni algebry skończenie wymiarowej i algebry noetherowskie
Kierownik: prof. dr hab. Jan Okniński
Płaszczyzny homologiczne z osobliwościami (promotorski)
Kierownik: prof. dr hab. Mariusz Koras
Radykały i zbiory wyróżnionych elementów pierścieni łącznych
Kierownik: prof. dr hab. Edmund Puczyłowski
Rezidua Jeffrey-Kirwan w zastosowaniu do ekwiwariantnego homomorfizmu Gysina
Kierownik: dr Magdalena Zielenkiewicz
Rigidity for actions on Banach spaces and applications
Rozmaitości algebraiczne i struktury algebraiczne
Kierownik: prof. dr hab. Jarosław Wiśniewski
Rozmaitości algebraiczne powiązane ze strukturami kombinatorycznymi
Kierownik: dr Maria Donten-Bury
Rozmaitości algebraiczne: arytmetyka i geometria
Kierownik: prof. dr hab. Adrian Langer
Rozmaitości i wiązki algebraiczne
Kierownik: prof. dr hab. Adrian Langer
Rozmaitości legendrowskie w geometrii algebraicznej (promotorski)
Kierownik: prof. dr hab. Jarosław Wiśniewski
Rozmaitości, wiązki, struktury algebraiczne i ich przestrzenie moduli
Kierownik: prof. dr hab. Jarosław Wiśniewski
Rozwiązania kwantowego równania Yanga-Baxtera i stowarzyszone struktury algebraiczne: (pół)grupy, algebry łączne i skośne klamerki
Kierownik: dr Łukasz Kubat
Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych.
Kierownik: prof. dr hab. Andrzej Szałas
Równania różniczkowe, geometria i fizyka
Kierownik: prof. dr hab. Henryk Żołądek
Równanie transportu we współczesnej teorii równań różniczkowych cząstkowych
Scalable Self-Managed Point-to-Point Routing for the Internet of Things Applications
Kierownik: dr hab. Konrad Iwanicki, prof. UW
Schematy Hilberta z wielogradacją
Kierownik: dr Tomasz Mańdziuk
Semigroups of matrices
Kierownik: prof. dr hab. Jan Okniński
Sieci klasyfikatorów
Kierownik: prof. dr hab. inż. Andrzej Skowron
Skokowe procesy Markowa i ich zaburzenia schroedingerwskie
Strategia nauczania matematyki w Polsce
Kierownik: prof. dr hab. Zbigniew Marciniak
Struktura topologiczna przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski
Struktury algebraiczne i własności rozmaitości algebraicznych
Kierownik: prof. dr hab. Adrian Langer
Struktury algebraiczne związane z teoriozbiorowymi rozwiązaniami kwantowego równania Yanga-Baxtera
Kierownik: prof. dr hab. Jan Okniński
Struktury danych i algorytmy dynamiczne dla grafów planarnych
Kierownik: dr Adam Karczmarz
Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Kierownik: dr Piotr Hofman
Synteza aproksymacji pojęć
Kierownik: prof. dr hab. inż. Andrzej Skowron
Szeregi losowe i całki stochastyczne
Kierownik: prof. dr hab. Stanisław Kwapień
Szeregi losowe, całki stochastyczne: pojedyncze i wielokrotne
Kierownik: prof. dr hab. Stanisław Kwapień
Teoria typów w badaniach własności programów
Kierownik: prof. dr hab. Paweł Urzyczyn
Teoria węzłów
Kierownik: dr hab. Maciej Borodzik, prof. IMPAN
Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał
Kierownik: dr Daniel Hoffmann
Terminalizacje symplektycznych osobliwości ilorazowych i ich pierścienie Coxa
Topologia algebraiczna
Topologia algebraiczna
Kierownik: prof. dr hab. Stanisław Betley
Topologia i struktura borelowska przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski
Topologiczne i teoriomiarowe własności małych podzbiorów przestrzeni polskich
Kierownik: prof. dr hab. Piotr Zakrzewski
Trojaka natura matematyki: idee głębokie, formy powierzchniowe, modele formalne
Kierownik: prof. dr hab. Zbigniew Semadeni
Twierdzenia graniczne dla rozgałęziających się układów cząstek (promotorski)
Kierownik: prof. dr hab. Tomasz Bojdecki
Układy cząstek, czasy przebywania i procesy samopodobne
Układy dynamiczne i geometria
Kierownik: prof. dr hab. Henryk Żołądek
Układy dynamiczne i geometria
Kierownik: prof. dr hab. Henryk Żołądek
Układy stochastyczne i ich zastosowania
Kierownik: prof. dr hab. Tomasz Bojdecki
Uogólnienia i zastosowania rozkładu Białynickiego-Biruli
Kierownik: dr hab. Joachim Jelisiejew
Wielomiany ortogonalne oraz równania Painleve
Kierownik: dr hab. Galina Filipuk
Wspomaganie podejmowania decyzji z wykorzystaniem interakcyjnych obliczeń granularnych
Kierownik: dr Marcin Szczuka
Wybrane Aspekty Skalowalności Metod Eksploracji Dawnych i Odkrywania Wiedzy w Bazach Danych
Kierownik: prof. dr hab. Dominik Ślęzak
Wybrane aspekty wyceny i zabezpieczenia wypłat w modelach rynku z czasem dyskretnym
Kierownik: prof. dr hab. Jacek Jakubowski
Wybrane zagadnienia teorii węzłów
Kierownik: dr hab. Maciej Borodzik, prof. IMPAN
Wybrane zagadnienia z pogranicza nieliniowych równań cząstkowych i geometrycznej teorii miary
Kierownik: prof. dr hab. Paweł Strzelecki
Wybrane zagadnienia z pogranicza nieliniowych równań cząstkowych i geometrycznej teorii miary
Kierownik: prof. dr hab. Paweł Strzelecki
Wysokowymiarowy rachunek prawdopodobieństwa
Kierownik: dr hab. Radosław Adamczak, prof. ucz.
Wyznaczenie aproksymacyjnych sieci Bayesowskich z danych: Metody zbiorów przybliżonych
Kierownik: prof. dr hab. inż. Andrzej Skowron
Własności kombinatoryczne i strukturalne algebr Hecke-Kiselmana
Kierownik: dr Magdalena Wiertel
Własności pierścieni wyrażalne w terminach ideałów
Kierownik: dr hab. Jerzy Matczuk, prof. UW
Własności probabilistyczne miar logarytmicznie wklęsłych (promotorski)
Kierownik: prof. dr hab. Rafał Latała
Własności topologiczne zbiorów niezmienniczych w dynamice przestępnej
Kierownik: prof. dr hab. Krzysztof Barański
Zachowanie się własności pierścieni i modułów przy wyróżnionych konstrukcjach
Kierownik: prof. dr hab. Edmund Puczyłowski
Zadanie Badawcze SYNAT pt.: „Utworzenie uniwersalnej, otwartej, repozytoryjnej platformy hostingowej i komunikacyjnej dla sieciowych zasobów wiedzy dla nauki, edukacji i otwartego społeczeństwa wiedzy” Program strategiczny: Interdyscyplinarny system interaktywnej informacji naukowej i naukowo technicznej, finansowany przez Narodowe Centrum Badań i Rozwoju
Zarządzanie zasobami w egoistycznych i kooperacyjnych systemach rozproszonych
Kierownik: dr hab. Piotr Skowron
Zbiory bolerowskie w przestrzeniach funkcyjnych ze słabą topologią
Kierownik: prof. dr hab. Roman Pol
Zera i wartości specjalne L-funkcji automorficznych
Kierownik: prof. dr hab. Jacek Pomykała
Zmiany czasu dla procesów Markowa i ich wpływ na struktury markowskie
Złożone układy stochastyczne
Kierownik: prof. dr hab. Tomasz Bojdecki

Instytut Informatyki

A unified theory of finite-state recognisability
Kierownik: prof. dr hab. Mikołaj Bojańczyk
Abstrakcyjna teoria specyfikacji i jej zastosowania
Kierownik: prof. dr hab. Andrzej Tarlecki
Adaptatywne symulacje w modelowaniu procesów decyzyjnych o wielkich rozmiarach na przykładzie gry GO (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks
Aktualne trendy w algorytmach parametryzowanych i wykładniczych
Kierownik: prof. dr hab. Łukasz Kowalik
Algebraiczne algorytmy grafowe (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks
Algebraiczne niezmienniki dla Sieci Petriego z danymi
Kierownik: dr Piotr Hofman
Algorithmic Structure Theory for Sparse Graphs
Algorithms for co-allocating services in datacentres
Kierownik: dr hab. Krzysztof Rządca, prof. UW
Algorithms for text processing with errors and uncertainties
Kierownik: dr hab. Jakub Radoszewski, prof. UW
Algorytmiczne i kombinatoryczne aspekty okresowości i powtórzeń w słowach
Kierownik: Tomasz Kociumaka
Algorytmiczne i kombinatoryczne problemy związane ze zliczaniem powtórzeń w słowach
Kierownik: prof. dr hab. Wojciech Rytter
Algorytmiczne i obliczeniowe problemy bioinformatyki
Kierownik: prof. dr hab. Jerzy Tiuryn
Algorytmiczne problemy biologii systemów i bioinformatyki
Kierownik: prof. dr hab. Jerzy Tiuryn
Algorytmiczne problemy ścieżkowe w grafach planarnych (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks
Algorytmiczne wyzwania spektrometrii masowej
Kierownik: prof. dr hab. Anna Gambin
Algorytmika i kombinatoryka nieklasycznych tekstów
Kierownik: dr hab. Jakub Radoszewski, prof. UW
Algorytmika kombinatoryczna złożonych problemów współczesnej informatyki
Kierownik: prof. dr hab. Wojciech Rytter
Algorytmika problemów o dużym rozmiarze
Kierownik: prof. dr hab. Wojciech Rytter
Algorytmika problemów o zawartej reprezentacji
Kierownik: prof. dr hab. Wojciech Rytter
Algorytmy aproksymacyjne o ograniczonych zasobach
Kierownik: dr hab. Piotr Sankowski, prof. UW
Algorytmy aproksymacyjne w obliczu niepełnej informacji
Kierownik: dr Michał Włodarczyk
Algorytmy i modele statystyczne służące do przewidywania schematów fragmentacji cząsteczek podczas dysocjacji indukowanej kolizjami
Kierownik: Grzegorz Skoraczyński
Algorytmy on-linew modelach stochastycznych
Kierownik: dr hab. Marcin Mucha, prof. ucz.
Algorytmy parametryzowane w problemach grafowych oraz wyszukiwaniu wzorca permutacji
Kierownik: dr hab. Marek Cygan
Algorytmy rozproszone i równoległe dla problemów kombinatorycznych
Algorytmy rozproszone odporne na błędy (promotorski)
Kierownik: prof. dr hab. Damian Niwiński
Algorytmy składania genomów umożliwiające diagnostykę zespołów genetycznych
Kierownik: mgr Barbara Poszewiecka
Algorytmy wnioskowania o interakcjach wielokontaktowych na podstawie danych o konformacji chromatyny
Kierownik: dr Aleksander Jankowski
Analiza grup i sygnałów używanych do budowy struktury białek z lokalnych deskryptorów (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
Analiza i opracowanie metod eksploracji procesów w oparciu o algorytmy szkieletowe.
Analiza obliczeniowa aplikowanych gier głosowania ważonego
Kierownik: dr hab. Oskar Skibski
Analiza problemów fizyczno-biologicznych w oparciu o matematyczne entropie
Kierownik: prof. dr hab. Piotr Gwiazda
Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariontów
Kierownik: dr hab. Norbert Dojer
Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariotów
Kierownik: dr hab. Norbert Dojer
Analiza układów stochastycznych z geometrią
Applications of automata theory to processing XML documents
Kierownik: prof. dr hab. Mikołaj Bojańczyk
Approximation and parameterized local search algorithms
Kierownik: dr hab. Marek Cygan
Aproksymacyjne systemy wieloagentowe
Kierownik: prof. dr hab. Barbara Dunin-Kęplicz
Architectures for Mobility
Kierownik: prof. dr hab. Andrzej Tarlecki
Atlas obszarów regulatorowych specyficznych dla mózgu ludzkiego - nowe narzędzie odkrywania ścieżek powodujących wybrane choroby mózgu
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.
Automata: from Mathematics to Applications (AutoMathA)
Kierownik: prof. dr hab. Mikołaj Bojańczyk
Automatyczna analiza systemów współbieżnych
Kierownik: prof. dr hab. Sławomir Lasota
Automatyzacja wnioskowania konstruktywnego
Kierownik: dr hab. Aleksy Schubert, prof. UW
Bayesowska analiza podtypów raka pęcherza moczowego na podstawie wysokoprzepustowych danych
Kierownik: dr Krzysztof Gogolewski
Biologicznie znacząca rekonstrukcja sieci filogenetycznych
Kierownik: dr hab. Paweł Górecki
Całościowa adnotacja enhancerów ssaków w oparciu o dane genomowe i funkcjonalne
Kierownik: prof. dr hab. Jerzy Tiuryn
Całościowe przewidywanie kooperatywnych elementów regulatorowych w genomach eukariotycznych.
Kierownik: dr Aleksander Jankowski
Centrality Measures: from Theory to Applications
Kierownik: dr hab. Oskar Skibski
Computational methods for prediction of drug targets, biomarkers & efficient drug combinations based on genome-scale data from molecular cancer profiling
Kierownik: dr hab. Ewa Szczurek, prof. ucz.
Computational modeling of transcription regulation in the context of chromatin dynamics
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.
Coś na ząb - epigenomika zaburzeń odżywiania
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.
Cryptographic Protocols Provably-Secure Against Physical Attacks
Kierownik: prof. dr hab. Stefan Dziembowski
Cryptography on Non-Trusted Machines
Kierownik: prof. dr hab. Stefan Dziembowski
Cuts and decompositions: algorithms and combinatorial properties
Kierownik: prof. dr hab. Marcin Pilipczuk, prof. UW
Darowizna od Intel Corporation; cel: opracowanie programu kursów z zakresu bezpieczeństwa systemów komputerowych
Kierownik: prof. dr hab. Stefan Dziembowski , dr hab. Aleksy Schubert, prof. UW
Detection and evolutionary analysis of repeats in protein sequences
Koordynator: prof. dr hab. Anna Gambin
Dokładne ograniczenia dolne przy silnych założeniach złożonościowych
Dowodzenie poprawności implementacji behawioralnej w procesie konstrukcji oprogramowania
Kierownik: prof. dr hab. Sławomir Lasota
Dynamiczne algorytmy dla grafów skierowanych przy słabych założeniach dotyczących adwersarza
Kierownik: dr Adam Karczmarz
EMBO Installation Grants
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.
Efektywne algorytmy dla grafów planarnych
Kierownik: dr hab. Piotr Sankowski, prof. UW
Efektywne obliczenia w predykatywnej matematyce
Kierownik: dr Michał Przybyłek
Erasmus Without Paper
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.
Erasmus Without Paper 2.0
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.
Erasmus bez Papieru 2 - dotacja z MNiSW
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.
Estymatory rozkładów prawdopodobieństwa występowania sekwencji aminokwasowej w uliniowieniu i ich zastosowanie do predykcji struktury trójwymiarowych bialek (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
European Training Network for Computational Oncology
Kierownik: dr hab. Ewa Szczurek, prof. ucz.
Ewolucja sieci interakcji białko-białko (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
Expressive Power of Tree Logics (SOSNA)
Kierownik: prof. dr hab. Mikołaj Bojańczyk
Field trial on the impact of enabling easy mobility on recognition of external studies
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.
Formalizacja naiwnej teorii typów (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn
Formalne podstawy kryptowalut
Kierownik: prof. dr hab. Stefan Dziembowski
Foundational Research on MULTIlevel comPLEX networks and systems
Kierownik: dr hab. Piotr Sankowski, prof. UW
Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX)
Kierownik: prof. dr hab. Mikołaj Bojańczyk
GLAD - Green Last Mile Delivery: a more sustainable way for food home delivery tailored to consumer needs
Kierownik: mgr Paweł Gora
Games and Automata for Synthesis and Verification
Koordynator: prof. dr hab. Jerzy Tyszkiewicz
Games for Design and Verification (GAMES)
Generowanie wideo przy użyciu głębokiego uczenia
Kierownik: dr inż. Piotr Biliński
Genomika obliczeniowa : Problemy, Algorytmy i Modele
Kierownik: dr hab. Paweł Górecki
Genomika porównawcza transpozonów roślinnych
Kierownik: prof. dr hab. Anna Gambin
Grafy dynamiczne; spójność, przepływy i kolorowanie
Kierownik: dr Anna Zych-Pawlewicz
Grafy w grafach-od dobrego uporządkowania do algorytmów
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Kierownik: prof. dr hab. Sławomir Lasota
Granice baz danych
Kierownik: dr hab. Szymon Toruńczyk, prof. UW
Granice obliczalności dla zapytań rekurencyjnych
Kierownik: dr Katarzyna Mazowiecka
Granice rozstrzygalności w teorii automatow
Kierownik: dr hab. Paweł Parys, prof. UW
Granty dla stypendystów FNP
Graph colorings and their applications
Kierownik: prof. dr hab. Łukasz Kowalik
Graph within graphs. Algorithmic and combinatorial aspects of containment relations in graphs.
Kierownik: dr hab. Marcin Kamiński
Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje
Kierownik: dr hab. Oskar Skibski
Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Kierownik: Bartosz Piotrowski
Identification of regulatory non-coding variants associated with neurodegenerative disorders based on targeted sequencing of open chromatin regions
Kierownik: dr Magdalena Machnicka
Identyfikacja elementów regulatorowych i czynników transkrypcyjnych genów pomiędzy neuronami i komórkami glejowymi u muszki owocowej
Integracyjna analiza danych genomicznych z pojedynczych komórek
Kierownik: dr Aleksander Jankowski
Integracyjna biologia systemów: wnioskowanie z heterogenicznych danych
Kierownik: prof. dr hab. Anna Gambin
Interactive Computations in Layered Granular Networks
Kierownik: dr Piotr Wasilewski
Koherentne Modele i Wydajne Algorytmy dla Duplikacji Genomowych
Kierownik: dr hab. Paweł Górecki
Konflikty z wieloma polami bitew i dyskretnymi zasobami
Kierownik: dr hab. Marcin Dziubiński
Konstruowanie specyfikacji i weryfikacja oprogramowania
Kierownik: prof. dr hab. Andrzej Tarlecki
Kryptografaia bez zaufanych stron
Kierownik: dr Tomasz Kazana
Kryptograficzne metody obrony przed nieuczciwymi producentami sprzętu elektronicznego
Kierownik: prof. dr hab. Stefan Dziembowski
Logika stosowana i programowanie funkcyjne
Kierownik: prof. dr hab. Jerzy Tiuryn
MOBIUS - Mobility, Ubiquity and Security
Kierownik: prof. dr hab. Andrzej Tarlecki
Matematyczne metody weryfikacji systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński
Matematyczne modele kosztu komunikacyjnego dostępu do baz danych
Kierownik: prof. dr hab. Jerzy Tyszkiewicz
Matematyczne podstawy poprawności, bezpieczeństwa i efektywności rozproszonych systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński
Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński
Metody obliczeniowe interpretacji zmian genomu
Kierownik: prof. dr hab. Anna Gambin
Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali
Kierownik: dr hab. Krzysztof Rządca, prof. UW
Metody reprezentacji wiedzy i wnioskowania w systemach autonomicznych
Metodyka i narzędzia wspomagające konstruowanie poprawnego oprogramowania
Kierownik: prof. dr hab. Jan Madey
Miejsca parkingowe na MOP
Kierownik: dr hab. Hung Son Nguyen, prof. UW
Modele filogenetyczne do analizy ewolucji komórek rakowych
Kierownik: dr Jarosław Paszek
Modele i algorytmy zarządzania zasobami współczesnych systemów informatycznych
Kierownik: dr hab. Krzysztof Rządca, prof. UW
Modele i języki dla specyfikacji przepływow danych (promotorski)
Kierownik: prof. dr hab. Jerzy Tyszkiewicz
Modele obliczeniowe w formalnej weryfikacji
Kierownik: dr Filip Mazowiecki
Modele obliczeń rozszerzone o dane
Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych
Kierownik: dr Jacek Sroka
Modelowania fragmentacji biomolekuł indukowanej transferem elektronu w spectrometrii mas
Modelowanie aktywności transpozonów indukowanej stresem
Kierownik: prof. dr hab. Anna Gambin
Modelowanie ewolucji genomów (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
Modelowanie ewolucji molekularnej i procesu zwijania białek - podejście algorytmiczne
Kierownik: prof. dr hab. Jerzy Tiuryn
Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych
Kierownik: prof. dr hab. Sławomir Lasota
Modularna semantyka operacyjna: podejście bialgebraiczne
Kierownik: prof. dr hab. Bartosz Klin
Multidyscyplinarne kompleksowe badania degradacji i kontroli jakości mitochondrialnego RNA
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.
Narzędzia i techniki rozszerzające modularność i siłę wyrazu języków obiektowych (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn
Narzędzia probabilistyczne do wysokowymiarowego wnioskowania geometrycznego i analizy danych topologicznych i sieci na dużą skalę.
Kierownik: dr Kunal Dutta
Narzędzia, algorytmy i modele w badaniu wspólnej ewolucji gatunków, genów i białek.
Kierownik: dr hab. Paweł Górecki
Nebulostore: Peer-to-Peer Storage System
Kierownik: dr hab. Krzysztof Rządca, prof. UW
Nieskończoność we wnioskowaniu o danych i wiedzy
Kierownik: dr hab. Filip Murlak, prof. UW
Normative Comparison of Multiwinner Election Rules
Kierownik: dr hab. Piotr Skowron
Nowe metody statystyczne dla problemów klasyfikacji i integracji danych molekularnych i genomowych
Kierownik: dr Neo Christopher Chung
Nowe modele automatów
Kierownik: prof. dr hab. Sławomir Lasota
Nowe pojęcie skończoności w teorii obliczeń
Kierownik: prof. dr hab. Mikołaj Bojańczyk
Nowe techniki w algorytmach grafowych: algorytmy dokladne dla problemów NP-trudnych, grafy rzadkie i ich zastosowania
Kierownik: prof. dr hab. Łukasz Kowalik
Nowe trendy w algorytmach tekstowych
Kierownik: dr hab. Jakub Radoszewski, prof. UW
Nowy model probabilistyczny do identyfikacji typów komórek w danych transkryptomicznych otrzymanych w wyniku sekwencjonowania przestrzennego oraz z pojedynczych komórek
Obliczenia bazujące na percepcji.
Kierownik: dr Piotr Wasilewski
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Kierownik: prof. dr hab. Sławomir Lasota
Obliczeniowe aspekty geometrii nieeuklidesowych
Kierownik: dr hab. Eryk Kopczyński
Obliczeniowy model specyficznej tkankowo regulacji genów
Obserwacyjna równoważność programów i struktur danych a bisymulacja procesów współbieżnych (promotorski)
Kierownik: prof. dr hab. Andrzej Tarlecki
Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki
Odporność danych skompresowanych na błędy – wybrane zagadnienia (promotorski)
Kierownik: prof. dr hab. Wojciech Plandowski
Off-chain labs: formal models, constructions and proofs
Kierownik: prof. dr hab. Stefan Dziembowski
Opracowanie technologii pozwalających na rozpoznawanie określonych cech osób
Kierownik: dr inż. Piotr Biliński
Opracowanie, prototypowa implementacja i ewaluacja praktycznego i skalowalnego protokołu trasowania dla bezprzewodowych sieci urządzeń wbudowanych o niskim poborze mocy
Kierownik: dr hab. Konrad Iwanicki, prof. UW
Optymalność w złożoności parametryzowanej
Kierownik: dr hab. Michał Pilipczuk, prof. UW
Parakonsystentne wnioskowanie w systemach autonomicznych usytuowanych w środowiskach złożonych informacyjnie
Kierownik: prof. dr hab. Barbara Dunin-Kęplicz
Parametry modeli skończonych
Kierownik: dr hab. Eryk Kopczyński
Podstawy teoretyczne selekcji cech w celu uodpornienia modeli prognostycznych na częściowe braki w danych
Portfele blockchainowe - kryptograficzna teoria i zastosowania
Kierownik: prof. dr hab. Stefan Dziembowski
Practical Approximation Algorithms - Proof of Concept
Kierownik: dr hab. Piotr Sankowski, prof. UW
Praktycznie obliczalne dialogi w systemach wieloagentowych
Predicting synthetic lethality in cancer
Kierownik: dr hab. Ewa Szczurek, prof. ucz.
Problem najbliższych sąsiadów bez fałszywie ujemnych wyników
Kierownik: dr Piotr Wygocki
Problem separacji w teorii automatów
Kierownik: dr hab. Wojciech Czerwiński, prof. UW
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Kierownik: dr hab. Michał Skrzypczak
Procesy bezkontekstowe: teoria, algorytmy, zastosowania
Kierownik: prof. dr hab. Sławomir Lasota
Programowanie dynamiczne z gwarancjami
Przewidywanie punktu izoelektrycznego białek i peptydów na podstawie cech sekwencyjnych i strukturalnych
Kierownik: dr hab. Łukasz Kozłowski
Przyjazne obliczeniowo miary centralności oparte na teorii gier
Kierownik: dr Tomasz Michalak
Pseudoentropia
Półpozycyjna determinacja gier nieskończonych (promotorski)
Kierownik: prof. dr hab. Damian Niwiński
Quality Assessment Tool for international Cooperation
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.
Quering and Managing Navigational Databases
Kierownik: dr hab. Filip Murlak, prof. UW
Recent trends in kernelization: theory and experimental evaluation
Kierownik: prof. dr hab. Marcin Pilipczuk, prof. UW
Rozstrzygalne hierarchie regularnych języków drzew (promotorski)
Kierownik: prof. dr hab. Damian Niwiński
Rozwój metod statystycznych i algorytmicznych stosowanych w spektroskopii mas
Kierownik: dr Michał Startek
Rozwój"Komputerowej Lingwistyki Chemicznej" i jej zastosowanie do efektywnego planowania wieloetapowych syntez chemicznych
Kierownik: prof. dr hab. Anna Gambin
Równania w półgrupie wolnej z dwiema niewiadomymi (promotorski)
Kierownik: prof. dr hab. Wojciech Plandowski
SENSORIA - Software Engineering for Service-Oriented Overlay Computers
Koordynator: prof. dr hab. Andrzej Tarlecki
Sieci: Podejście Wielodyscyplinarne
Kierownik: prof. dr Krzysztof Apt
Silna normalizacja przepisywania w rachunku konstrukcji (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
SocSenSys: Systemy sprzężenia społecznego oparte o osobiste sieci sensorowe
Kierownik: dr hab. Konrad Iwanicki, prof. UW
Specyfikacja i weryfikacja systemów oprogramowania – od teorii do praktyki
Kierownik: prof. dr hab. Andrzej Tarlecki
Strategic Resilience of Networks
Kierownik: dr hab. Marcin Dziubiński
Strategiczna analiza sieci społecznych
Kierownik: dr Tomasz Michalak
Strukturalne własności grafów planarnych i ich algorytmiczne zastosowania (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks
Studium zdarzeń duplikacji w genomie
Kierownik: dr Jarosław Paszek
System automatycznej oceny bezpieczeństwa telefonów komórkowych
Kierownik: prof. dr hab. Krzysztof Diks
System do testowania aplikacji w środowisku RCS
Kierownik: prof. dr hab. Krzysztof Diks
System wspomagania dowodzenia dla duzych aplikacji, oparty na rachunku konstrukcji (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn
Systemy wyboru komitetów: Metody niepunktowe
Kierownik: dr hab. Piotr Skowron
TUgbOAT
Kierownik: dr hab. Piotr Sankowski, prof. UW
Technology transfer between modern algorithmic paradigms
Kierownik: dr hab. Marek Cygan
Teoria i praktyka obliczania najliczniejszych skojarzeń w grafach
Kierownik: prof. dr hab. Krzysztof Diks
Teoria programowania w logikach modalnych i deskrypcyjnych
Kierownik: dr hab. Anh Linh Nguyen, prof. UW
Teoria typów w programowaniu funkcyjnym i obiektowym.
Kierownik: prof. dr hab. Paweł Urzyczyn
The Expressiveness of Modal Fixpoint Logics.
Topologia przestrzeni rozwiązań problemów kombinatorycznych
Kierownik: dr Marcin Wrochna
Typy, dowody i poprawne programy
Koordynator: prof. dr hab. Paweł Urzyczyn
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Kierownik: dr hab. Henryk Michalewski
Uczenie maszynowe ze wzmocnieniem - współczesne wyzwania
Uczenie maszynowe ze wzmocnieniem - współczesne wyzwania
Kierownik: dr hab. Piotr Miłoś, prof. IMPAN
Ukrywanie się w sieciach społecznościowych
Weryfikacja i zapytania dotyczące struktur z danymi
Koordynator: prof. dr hab. Sławomir Lasota
Wiarygodność modeli horyzontalnego transferu genów
Wieloskalowe modelowanie mechanizmu indukowanej przez ceramid śmierci komórek nerwowych
Wielowartościowe i probabilistyczne rozszerzenia bazodanowych języków regułowych
Kierownik: prof. dr hab. Andrzej Szałas
Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów
Kierownik: prof. dr hab. Paweł Urzyczyn
Wybiegając Myślą Naprzód: Długofalowe planowanie z użyciem głębokiego uczenia ze wzmocnieniem bazującego na modelu
Wybrane problemy współczesnej algorytmiki
Kierownik: prof. dr hab. Wojciech Rytter
Wydajne algorytmy dla słabych form niedeterminizmu
Kierownik: dr hab. Michał Skrzypczak
Wydajne algorytmy wyszukiwania najbliższych sąsiadów w przestrzeniach wielowymiarowych
Wykrywanie horyzontalnego transferu genów (promotorski)
Kierownik: dr hab. Paweł Górecki
Wysoce konfigurowalne rozwiązanie eSignature dla szkolnictwa wyższego
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.
Wyzwania semistrukturalnych baz danych
Kierownik: dr hab. Filip Murlak, prof. UW
Wzorce sekwencyjne w tekstach: wydobywanie i analiza (promotorski)
Kierownik: prof. dr hab. Jerzy Tyszkiewicz
Własności ilościowe dla schematów rekrurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys, prof. UW
Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys, prof. UW
Włączenie informacji o genetycznej różnorodności do analizy danych z sekwencjonowania DNA
Kierownik: dr hab. Norbert Dojer
Zaawansowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ontologii.
Kierownik: dr hab. Anh Linh Nguyen, prof. UW
Zaawansowane obliczenia w arkuszach kalkulacyjnych
Kierownik: prof. dr hab. Jerzy Tyszkiewicz
Zaawansowane problemy teorii automatów
Kierownik: prof. dr hab. Damian Niwiński
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Kierownik: prof. dr hab. Damian Niwiński
Zagadnienia semantyczne w logikach nieklasycznych stosowanych do wnioskowania aproksymacyjnego
Kierownik: prof. dr hab. Andrzej Szałas
Zastosowanie metod algebraicznych w algorytmicznej teorii grafów
Kierownik: dr hab. Piotr Sankowski, prof. UW
Zestaw testów do weryfikacji i oceny analizatorów języka polskiego
Zintegrowana analiza genomicznej, fenotypicznej i przestrzennej heterogeniczności nowotworów
Kierownik: dr hab. Ewa Szczurek, prof. ucz.
Zrozumieć rekursję
Kierownik: dr hab. Lorenzo Clemente
Złożone problemy algorytmiczne we współczesnej informatyce teoretycznej
Kierownik: prof. dr hab. Wojciech Rytter
Złożoność obliczeniowa problemów spójności w grafach
Kierownik: dr hab. Marcin Kamiński
Złożoność parametryzowana i algorytmy wykładnicze
Kierownik: prof. dr hab. Łukasz Kowalik
ngSim: Nowe wyzwania symulacji bezprzewodowych urządzeń niskomocowych
Kierownik: dr hab. Konrad Iwanicki, prof. UW

Instytut Matematyki Stosowanej i Mechaniki

Algorytmy i złożoność dla problemów ciągłych
Kierownik: prof. dr hab. Leszek Plaskota
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja
Analiza asymptotyczna układów kinetycznych
Kierownik: prof. dr hab. Andrzej Palczewski
Analiza jakościowa rozwiązań nieściśliwych cieczy lepkich (promotorski)
Kierownik: Piotr Mucha
Analiza modeli strukturalnych dynamiki populacyjnej w przestrzeniach metrycznych
Analiza modeli termo-lepko-elastycznych
Analiza równania populacyjnego uwzględniającego strukturę wielkościową populacji i selektywną śmiertelność
Kierownik: Andrzej Jabłoński
Analiza równań hydrodynamiki i chemotaksji
Kierownik: prof. dr hab. Dariusz Wrzosek
Analiza równań parabolicznych tworzących ściany
Kierownik: dr Michał Łasica
Analiza równań płynu mikropolarnego na dwuwymiarowym torusie (promotorski)
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
Analiza stabilności równowag w różniczkowych i stochastycznych modelach gier ewolucyjnych
Kierownik: prof. dr hab. Jacek Miękisz
Anizotropowe zagadnienie najmniejszego gradientu
Badanie wrażliwości w oparciu o wariancję dla układów równań różniczkowych z opóźnionym argumentem
Kierownik: dr hab. Jan Poleszczuk
Chemicznie reagujące mieszaniny płynów ściśliwych
Kierownik: Ewelina Zatorska
Ciecze nienewtonowskie z niestandardową reologia
Kierownik: prof. dr hab. Piotr Gwiazda
Complexity, tractability and algorithms for computational problems of continuous mathematics
Kierownik: prof. dr hab. Leszek Plaskota
Deterministic and statistical solutions of micropolar fluids equations (doctoral dissertation grant)
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
Dyfuzja anizotropowa w ewolucji powierzchni swobodnych
Kierownik: prof. dr hab. Piotr Rybka
Dynamika powierzchni swobodnych w modelach przejść fazowych
Kierownik: prof. dr hab. Piotr Rybka
Efektywne algorytmy równoległe rozwiązania równań różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja
Efektywne algorytmy równoległe rozwiązywania równań różniczkowych cząstkowych
Kierownik: dr hab. Leszek Marcinkowski, prof. UW
Effectiveness of infection control strategies against intra- and inter-hospital transmission of MultidruG-resistant Enterobacteriaceae – insights from a multi-level mathematical NeTwork model
Kierownik: dr hab. Monika Piotrowska
Evolution equations in hydrodynamics and biology
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
Gry dynamiczne modelujące "tragedię wspólnego zasobu"
Hiperboliczne prawa zachowania: teoria i zastosowania w naukach o ziemi i zdrowiu publicznym
Kierownik: prof. dr hab. Agnieszka Świerczewska-Gwiazda
Hybrydowe papiery wartościowe: obligacje typu contingent convertible oraz obligacje bail-in
Kierownik: dr hab. Piotr Jaworski, prof. UW
Kartezjusz
Kierownik: prof. dr hab. Piotr Mucha
Konwekcja cieplna w płynach nieściśliwych
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
Maszyny populacyjne: od wzorców zachowań do cyklu życiowego osobnika i dynamiki populacji. Teoria Gier Ewolucyjnych a wpływ mechanizmów opartych na ekologicznych i populacyjnych sprzężeniach zwrotnych na procesy selekcji naturalnej.
Kierownik: dr Krzysztof Argasiński
Matematyczna Mechanika Płynów
Kierownik: prof. dr hab. Piotr Mucha
Matematyczna i numeryczna analiza modeli transportu morfogenu
Kierownik: dr Marcin Małogrosz
Matematyczne modele kwazikryształów
Kierownik: prof. dr hab. Jacek Miękisz
Matematyczne modele procesu chemotaksji i innych zjawisk z nią związanych
Kierownik: prof. dr hab. Dariusz Wrzosek
Matematyczne modele teorii gier ewolucyjnych i sieci genetycznych
Kierownik: prof. dr hab. Jacek Miękisz
Matematyczne modelowanie procesów nowotworowych
Kierownik: dr hab. Monika Piotrowska
Matematyczne modelowanie wzrostu kryształów
Kierownik: prof. dr hab. Piotr Rybka
Matematyczne podstawy opisów wieloskalowych
Kierownik: prof. dr hab. Mirosław Lachowicz
Matematyka podejść wieloskalowych w naukach o życiu i naukach społecznych
Kierownik: prof. dr hab. Mirosław Lachowicz
Mathematical Methods in Natural Sciences
Kierownik: prof. dr hab. Piotr Gwiazda
Metoda relatywnych entropii dla układów nieliniowych
Kierownik: prof. dr hab. Agnieszka Świerczewska-Gwiazda
Metody Monte Carlo dla skokowych procesów markowowskich
Kierownik: dr hab. Błażej Miasojedow, prof. UW
Metody i zagadnienia geometryczne w nieliniowych eliptycznych równaniach różniczkowych cząstkowych
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. UW
Metody obliczeniowe dla wysokowymiarowego uczenia statystycznego
Kierownik: dr hab. Błażej Miasojedow, prof. UW
Metody obliczeniowe do detekcji mutacji zwiącznych z opornością na antybiotyki w szczepach bakteryjnych
Metody słabej zbieżności dla równań fizyki i biologii matematycznej
Kierownik: dr Tomasz Dębiec
Model Cuckera-Smale'a z osobliwą wagą komunikacyjną
Kierownik: dr Jan Peszek
Modele i metody matematyczne w opisie wzrostu i leczenia nowotworów
Kierownik: dr hab. Marek Bodnar, prof. UW
Modeling, Mathematical Methods and Computer Simulation of Tumour Growth and Therapy
Kierownik: prof. dr hab. Mirosław Lachowicz
Modelowanie giełdy papierów wartościowych za pomocą gier dynamicznych z continuum graczy
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
Modelowanie matematyczne nowotworów mózgu pochodzenia glejowego i ich odpowiedzi na terapie
Nieliniowe zagadnienia różniczkowe w uogólnionych przestrzeniach Sobolewa i Orlicza
Kierownik: dr hab. Iwona Chlebicka, prof. UW
Nielokalne zagadnienia ewolucji powierzchni międzyfazowych
Kierownik: prof. dr hab. Piotr Rybka
Nieoczywiste aspekty modelowania wspólnych zasobów i rynków przy użyciu gier dynamicznych
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
Nonlinear PDE's related to variational and geometric problems
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. UW
Nowe wyzwania dla IBC
Kierownik: prof. dr hab. Henryk Woźniakowski
Od komórki zdrowej do zmutowanej - matematyczny opis dynamiki różnych typów populacji komórkowych
Kierownik: prof. dr hab. Urszula Foryś
Ograniczenia energetyczne na przetwarzanie i przechowywanie informacji w układzie nerwowym
Kierownik: dr hab. Jan Karbowski
Optymalizacja terapii glioblastomy z wykorzystaniem modelowania matematycznego
Opóźnienia czasowe w stochastycznych modelach biologicznych
Kierownik: prof. dr hab. Jacek Miękisz
Osobliwa dynamika współoddziałujących cząstek
Kierownik: dr Jan Peszek
Oszacowania szybkości zbieżności estymatorów Monte Carlo opartych na łańcuchach Markowa i zbieżność metod adaptacyjnych
Kierownik: prof. dr hab. Wojciech Niemiro
Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne
Problemy ciągłe: optymalność, złożoność, podatność
Kierownik: prof. dr hab. Leszek Plaskota
Procesy transportu w biologii matematycznej
Kierownik: prof. dr hab. Agnieszka Świerczewska-Gwiazda
Przepływy złożone
Kierownik: prof. dr hab. Piotr Gwiazda
Przestrzenie miar i Orlicza w matematycznym opisie zjawisk przepływu i wzrostu
Kierownik: prof. dr hab. Piotr Gwiazda
Regresja rangowa i U-procesy z karą LASSO - selekcja cech, estymacja i nierówności z wyrocznią
Rozwiązania słabe i miarowe dla równań fizyki matematycznej
Kierownik: dr Tomasz Dębiec
SOSnet: oszczędne modelowanie i predykcja dla danych wysokiego wymiaru
Kierownik: dr hab. Piotr Pokarowski, prof. UW
Spolegliwość niejednorodnych zadań wielowymiarowych
Kierownik: dr Paweł Siedlecki
Sprawne przybliżanie funkcji
Kierownik: prof. dr hab. Przemysław Wojtaszczyk
Stabilność profili wybuchów dla równania Fujity
Kierownik: dr Mikołaj Sierżęga
Struktura wymiarowa continuów dziedzicznie nierozkładalnych
Kierownik: prof. dr hab. Elżbieta Pol
Symulacje numeryczne dużych odkształceń plastycznych przy pomocy modeli plastycznego płynięcia
Teoriomiarowe podejście do nieliniowych równań cząstkowych i problemów wariacyjnych
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. UW
Therapy optimization in glioblastoma: An integrative human data-based approach using mathematical models
Kierownik: dr hab. Marek Bodnar, prof. UW
Towards regularity
Kierownik: prof. dr hab. Piotr Rybka
Tragedia wspólnego zasobu w kontekście dynamicznym - modelowanie, metodologia, zapobieganie The tragedy of the commons in problems of dynamic
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
Typy w dowodzeniu i programowaniu
Koordynator: prof. dr hab. Paweł Urzyczyn
Using mathematical modelling and computer simulation to improve cancer therapy
Kierownik: prof. dr hab. Mirosław Lachowicz
Variational Problems in Optical Engineering and Free Material Design
Wpływ mechanizmów wymiany w węzłach na własności asymptotyczne zagadnień transportu na sieci
Kierownik: dr Aleksandra Puchalska
Własności asymptotyczne i nierówności dla estymatorów Monte Carlo opartych na łańcuchach Markowa
Kierownik: prof. dr hab. Wojciech Niemiro
Zachowania kolektywne z perspektywy matematyka
Kierownik: prof. dr hab. Piotr Mucha
Zagadnienia typu Stefana w matematycznym modelowaniu wzrostu i topnienia kryształów
Kierownik: prof. dr hab. Piotr Rybka
Zagadnienia ze swobodną powierzchnią w mechanice ośrodków ciągłych
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
Zarządzanie portfelem inwestycyjnym dla niegaussowskich rozkładów zwrotów
Kierownik: prof. dr hab. Andrzej Palczewski
Zastosowanie współczesnej genomiki funkcjonalnej i bioinformatyki do charakteryzacji i tworzenia modeli procesów biologicznych o istotnym znaczeniu w medycynie i rolnictwie
Zbudowanie nowego algorytmu efektywnie wyznaczającego zbiór przypadków medycznych najbardziej podobnych do wskazanego nowego przypadku wykorzystując techniki uczenia maszynowego
Kierownik: prof. dr hab. Przemysław Biecek
Zwięzłe przedstawienia.
Kierownik: prof. dr hab. Przemysław Wojtaszczyk
Złożoność i algorytmy dla zadań wielowymiarowych z zastosowaniem do pewnych problemów finansowych i fizyki matematycznej
Kierownik: prof. dr hab. Leszek Plaskota
Złożoność obliczeniowa i algorytmy dla zadań matematyki ciągłej
Kierownik: prof. dr hab. Leszek Plaskota
Środowiskowe Studia Doktoranckie z Nauk Matematycznych
Kierownik: prof. dr hab. Piotr Mucha