Nie jesteś zalogowany | Zaloguj się

PL /
EN

Wszystkie instytucje finansujące

{% include 'grants/institution_logo_link.html' with url_by_financing_institution='grants:past_grants_by_financing_institution' url_without_financing_institution='grants:past_grants' %} {% include 'grants/institution_logo_link.html' with url_by_financing_institution='grants:past_grants_by_financing_institution' url_without_financing_institution='grants:past_grants' %}

Inne instytucje finansujące

Instytut Matematyki

Algebry skończenie prezentowalne i półgrupowe algebry noetherowskie
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Komitet Badań Naukowych
Analiza modeli stochastycznych
Kierownik: dr hab. Piotr Miłoś, prof. IMPAN

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Analiza na przestrzeniach metrycznych i jej zastosowania w nieliniowych równaniach eliptycznych, rachunku prawdopodobieństwa i rachunku wariacyjnym
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Komitet Badań Naukowych
Analiza złożonych układów stochastycznych
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Antycypująca całka Skorochoda w przestrzeniach konuklearnych
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Komitet Badań Naukowych
Continua dziedzicznie nierozkładalne wyższych wymiarów
Kierownik: prof. dr hab. Elżbieta Pol

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Cykle graniczne dla wielomianowych pól wektorowych (promotorski)
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Czasy lokalne samoprzecięć procesów Gaussa w S'
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Komitet Badań Naukowych
Działania grup na rozmaitościach algebraicznych
Kierownik: prof. dr hab. Mariusz Koras

Finansowany przez: Komitet Badań Naukowych
Działania grup na rozmaitościach algebraicznych i przekształcenia biwymierne
Kierownik: prof. dr hab. Mariusz Koras

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Europejska Sieć Badawczo-Szkoleniowa Geometrii Algebraicznej EAGER
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Komisja Europejska
Geometryczne energie krzywiznowe
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Geometryczne i ergodyczne własności układów dynamicznych
Kierownik: prof. dr hab. Anna Zdunik

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające
Kierownik: dr hab. Leszek Kołodziejczyk

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Hiperkontrakcja i nierówności funkcyjne dla miar produktowych (promotorski)
Kierownik: prof. dr hab. Krzysztof Oleszkiewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Interakcyjne wykrywanie modeli procesów i ich własności z danych
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Jakościowe i ergodyczne własności gładkich układów dynamicznych
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Komitet Badań Naukowych
Klasyfikacja przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Komitet Badań Naukowych
Konforemne układy dynamiczne i geometria zbiorów fraktalnych
Kierownik: prof. dr hab. Anna Zdunik

Finansowany przez: Komitet Badań Naukowych
Krzywe i powierzchnie na rozmaitościach algebraicznych
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Komitet Badań Naukowych
Logiki zdaniowe i słabe kategorie wysoko-wymiarowe
Koordynator: dr hab. Marek Zawadowski, prof. UW

Finansowany przez: Komitet Badań Naukowych
Matematyczne modelowanie ryzyka w finansach
Kierownik: prof. dr hab. Jacek Jakubowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Meromorficzne liniowe równania różniczkowe i wielokrotne wartości zeta (promotorski)
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Metody adaptacyjne we wnioskowaniu aproksymacyjnym
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Metody automatycznego wnioskowania z bazy wiedzy oparte na poszukiwaniu analogii
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Metody półgrupowe w badaniu algebr łącznych
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Metody półgrupowe w badaniu algebr łącznych i ich reprezentacji
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
New Geometry of Quantum Dynamics
Kierownik: dr hab. Tomasz Maszczyk

Finansowany przez: Instytut Matematyczny Polskiej Akademii Nauk
New computational combinatorial geometrical topological and algebraic methods applied to noetherian orders
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nieliniowe równania cząstkowe: zagadnienia wariacyjne i geometryczne
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nieliniowe zagadnienia geometryczne i wariacyjne
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Komitet Badań Naukowych
Nierówności dla semimartyngałów i całek stochastycznych
Kierownik: prof. dr hab. Adam Osękowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nierówności martyngałowe i ich zastosowania do badania mnożników Fourierowskich
Kierownik: prof. dr hab. Adam Osękowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nierówności stochastyczne i ich zastosowania
Kierownik: prof. dr hab. Krzysztof Oleszkiewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
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

Finansowany przez: Narodowe Centrum Badań i Rozwoju
Obliczenia interakcyjne w odkrywaniu wiedzy w złożonych źródłach danych
Kierownik: dr hab. Hung Son Nguyen, prof. UW

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Oszacowania momentów i ogonów wieloliniowych form losowych (promotorski)
Kierownik: prof. dr hab. Rafał Latała

Finansowany przez: Komitet Badań Naukowych
Paraboliczne zagadnienia ewolucji powierzchni w teorii przejść fazowych
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Przestrzenie Orlicza-Sobolewa i ich zastosowania w nieliniowych równaniach eliptycznych, rachunku prawdopodobieństwa i rachunku wariacyjnym
Kierownik: prof. dr hab. Agnieszka Kałamajska

Finansowany przez: Komitet Badań Naukowych
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

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Przestrzenie funkcji ciągłych
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Komitet Badań Naukowych
Przestrzenie funkcji ciągłych z topologią zbieżności punktowej
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Komitet Badań Naukowych
Półgrupa podprzestrzeni algebry skończenie wymiarowej i algebry noetherowskie
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Komitet Badań Naukowych
Płaszczyzny homologiczne z osobliwościami (promotorski)
Kierownik: prof. dr hab. Mariusz Koras

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Radykały i zbiory wyróżnionych elementów pierścieni łącznych
Kierownik: prof. dr hab. Edmund Puczyłowski

Finansowany przez: Komitet Badań Naukowych
Rozmaitości algebraiczne i struktury algebraiczne
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Komitet Badań Naukowych
Rozmaitości i wiązki algebraiczne
Kierownik: prof. dr hab. Adrian Langer

Finansowany przez: Komitet Badań Naukowych
Rozmaitości legendrowskie w geometrii algebraicznej (promotorski)
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Komitet Badań Naukowych
Rozmaitości, wiązki, struktury algebraiczne i ich przestrzenie moduli
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Równania różniczkowe, geometria i fizyka
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Scalable Self-Managed Point-to-Point Routing for the Internet of Things Applications
Kierownik: dr hab. Konrad Iwanicki, prof. UW

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Semigroups of matrices
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Sieci klasyfikatorów
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Strategia nauczania matematyki w Polsce
Kierownik: prof. dr hab. Zbigniew Marciniak

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Struktura topologiczna przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Komitet Badań Naukowych
Struktury algebraiczne i własności rozmaitości algebraicznych
Kierownik: prof. dr hab. Adrian Langer

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Synteza aproksymacji pojęć
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Szeregi losowe i całki stochastyczne
Kierownik: prof. dr hab. Stanisław Kwapień

Finansowany przez: Komitet Badań Naukowych
Szeregi losowe, całki stochastyczne: pojedyncze i wielokrotne
Kierownik: prof. dr hab. Stanisław Kwapień

Finansowany przez: Komitet Badań Naukowych
Teoria typów w badaniach własności programów
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Topologia algebraiczna
Kierownik: prof. dr hab. Stanisław Betley

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Topologia i struktura borelowska przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Topologiczne i teoriomiarowe własności małych podzbiorów przestrzeni polskich
Kierownik: prof. dr hab. Piotr Zakrzewski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Trojaka natura matematyki: idee głębokie, formy powierzchniowe, modele formalne
Kierownik: prof. dr hab. Zbigniew Semadeni

Finansowany przez: Komitet Badań Naukowych
Twierdzenia graniczne dla rozgałęziających się układów cząstek (promotorski)
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Układy dynamiczne i geometria
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Komitet Badań Naukowych
Układy dynamiczne i geometria
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Komitet Badań Naukowych
Układy stochastyczne i ich zastosowania
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Komitet Badań Naukowych
Wielomiany ortogonalne oraz równania Painleve
Kierownik: dr hab. Galina Filipuk

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Wysokowymiarowy rachunek prawdopodobieństwa
Kierownik: dr hab. Radosław Adamczak, prof. ucz.

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Wyznaczenie aproksymacyjnych sieci Bayesowskich z danych: Metody zbiorów przybliżonych
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Własności pierścieni wyrażalne w terminach ideałów
Kierownik: dr hab. Jerzy Matczuk, prof. UW

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Własności probabilistyczne miar logarytmicznie wklęsłych (promotorski)
Kierownik: prof. dr hab. Rafał Latała

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Zbiory bolerowskie w przestrzeniach funkcyjnych ze słabą topologią
Kierownik: prof. dr hab. Roman Pol

Finansowany przez: Komitet Badań Naukowych
Zera i wartości specjalne L-funkcji automorficznych
Kierownik: prof. dr hab. Jacek Pomykała

Finansowany przez: Komitet Badań Naukowych
Złożone układy stochastyczne
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Komitet Badań Naukowych

Instytut Informatyki

Abstrakcyjna teoria specyfikacji i jej zastosowania
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: Komitet Badań Naukowych
Adaptatywne symulacje w modelowaniu procesów decyzyjnych o wielkich rozmiarach na przykładzie gry GO (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algebraiczne algorytmy grafowe (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Komitet Badań Naukowych
Algorytmiczne i kombinatoryczne aspekty okresowości i powtórzeń w słowach
Kierownik: Tomasz Kociumaka

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmiczne i obliczeniowe problemy bioinformatyki
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
Algorytmiczne problemy biologii systemów i bioinformatyki
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmiczne problemy ścieżkowe w grafach planarnych (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Komitet Badań Naukowych
Algorytmika i kombinatoryka nieklasycznych tekstów
Kierownik: dr hab. Jakub Radoszewski, prof. UW

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmika kombinatoryczna złożonych problemów współczesnej informatyki
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmika problemów o dużym rozmiarze
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Komitet Badań Naukowych
Algorytmy aproksymacyjne o ograniczonych zasobach
Kierownik: dr hab. Piotr Sankowski, prof. UW

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmy rozproszone i równoległe dla problemów kombinatorycznych
Finansowany przez: Komitet Badań Naukowych
Algorytmy rozproszone odporne na błędy (promotorski)
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza grup i sygnałów używanych do budowy struktury białek z lokalnych deskryptorów (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
Analiza problemów fizyczno-biologicznych w oparciu o matematyczne entropie
Kierownik: prof. dr hab. Piotr Gwiazda

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Applications of automata theory to processing XML documents
Kierownik: prof. dr hab. Mikołaj Bojańczyk

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Approximation and parameterized local search algorithms
Kierownik: dr hab. Marek Cygan

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Aproksymacyjne systemy wieloagentowe
Kierownik: prof. dr hab. Barbara Dunin-Kęplicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Architectures for Mobility
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: Komisja Europejska
Automata: from Mathematics to Applications (AutoMathA)
Kierownik: prof. dr hab. Mikołaj Bojańczyk

Finansowany przez: European Science Foundation
Computational modeling of transcription regulation in the context of chromatin dynamics
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Cryptographic Protocols Provably-Secure Against Physical Attacks
Kierownik: prof. dr hab. Stefan Dziembowski

Finansowany przez: Fundacja na rzecz Nauki Polskiej
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

Finansowany przez: Uniwersytet Warszawski
Detection and evolutionary analysis of repeats in protein sequences
Koordynator: prof. dr hab. Anna Gambin

Finansowany przez: Komitet Badań Naukowych
Dowodzenie poprawności implementacji behawioralnej w procesie konstrukcji oprogramowania
Kierownik: prof. dr hab. Sławomir Lasota

Finansowany przez: Komitet Badań Naukowych
EMBO Installation Grants
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.

Finansowany przez: European Molecular Biology Organization
Erasmus Without Paper
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.

Finansowany przez: Universiteit Gent
Erasmus Without Paper 2.0
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.

Finansowany przez: European University Foundation - Campus Europae
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

Finansowany przez: Komitet Badań Naukowych
European Training Network for Computational Oncology
Kierownik: dr hab. Ewa Szczurek, prof. ucz.

Finansowany przez: Komisja Europejska
Ewolucja sieci interakcji białko-białko (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Field trial on the impact of enabling easy mobility on recognition of external studies
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.

Finansowany przez: CSC-Tieteen Tietotekniikan Keskus Oy
Formalizacja naiwnej teorii typów (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Foundational Research on MULTIlevel comPLEX networks and systems
Kierownik: dr hab. Piotr Sankowski, prof. UW

Finansowany przez: Scuola IMT (Istituzioni, Mercati, Tecnologie) Alti Studi di Lucca
Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX)
Kierownik: prof. dr hab. Mikołaj Bojańczyk

Finansowany przez: Komisja Europejska
GLAD - Green Last Mile Delivery: a more sustainable way for food home delivery tailored to consumer needs
Kierownik: mgr Paweł Gora

Finansowany przez: Komisja Europejska
Games and Automata for Synthesis and Verification
Koordynator: prof. dr hab. Jerzy Tyszkiewicz

Finansowany przez: Komisja Europejska
Games for Design and Verification (GAMES)
Finansowany przez: European Science Foundation
Genomika porównawcza transpozonów roślinnych
Kierownik: prof. dr hab. Anna Gambin

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Granty dla stypendystów FNP
Finansowany przez: Fundacja na rzecz Nauki Polskiej
Graph colorings and their applications
Kierownik: prof. dr hab. Łukasz Kowalik

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Graph within graphs. Algorithmic and combinatorial aspects of containment relations in graphs.
Kierownik: dr hab. Marcin Kamiński

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Interactive Computations in Layered Granular Networks
Kierownik: dr Piotr Wasilewski

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Logika stosowana i programowanie funkcyjne
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
MOBIUS - Mobility, Ubiquity and Security
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: European Community 6th Framework Programme
Matematyczne metody weryfikacji systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Komitet Badań Naukowych
Matematyczne modele kosztu komunikacyjnego dostępu do baz danych
Kierownik: prof. dr hab. Jerzy Tyszkiewicz

Finansowany przez: Komitet Badań Naukowych
Matematyczne podstawy poprawności, bezpieczeństwa i efektywności rozproszonych systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Komitet Badań Naukowych
Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Komitet Badań Naukowych
Metody reprezentacji wiedzy i wnioskowania w systemach autonomicznych
Finansowany przez: Komitet Badań Naukowych
Metodyka i narzędzia wspomagające konstruowanie poprawnego oprogramowania
Kierownik: prof. dr hab. Jan Madey

Finansowany przez: Komitet Badań Naukowych
Modele i języki dla specyfikacji przepływow danych (promotorski)
Kierownik: prof. dr hab. Jerzy Tyszkiewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Modelowanie ewolucji genomów (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
Modelowanie ewolucji molekularnej i procesu zwijania białek - podejście algorytmiczne
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych
Kierownik: prof. dr hab. Sławomir Lasota

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Narzędzia i techniki rozszerzające modularność i siłę wyrazu języków obiektowych (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nebulostore: Peer-to-Peer Storage System
Kierownik: dr hab. Krzysztof Rządca, prof. UW

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Nowe techniki w algorytmach grafowych: algorytmy dokladne dla problemów NP-trudnych, grafy rzadkie i ich zastosowania
Kierownik: prof. dr hab. Łukasz Kowalik

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Obserwacyjna równoważność programów i struktur danych a bisymulacja procesów współbieżnych (promotorski)
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: Komitet Badań Naukowych
Odporność danych skompresowanych na błędy – wybrane zagadnienia (promotorski)
Kierownik: prof. dr hab. Wojciech Plandowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Off-chain labs: formal models, constructions and proofs
Kierownik: prof. dr hab. Stefan Dziembowski

Finansowany przez: Technische Universität Darmstadt
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

Finansowany przez: Narodowe Centrum Badań i Rozwoju
Półpozycyjna determinacja gier nieskończonych (promotorski)
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Quering and Managing Navigational Databases
Kierownik: dr hab. Filip Murlak, prof. UW

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Rozstrzygalne hierarchie regularnych języków drzew (promotorski)
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Równania w półgrupie wolnej z dwiema niewiadomymi (promotorski)
Kierownik: prof. dr hab. Wojciech Plandowski

Finansowany przez: Komitet Badań Naukowych
SENSORIA - Software Engineering for Service-Oriented Overlay Computers
Koordynator: prof. dr hab. Andrzej Tarlecki

Finansowany przez: European Community 6th Framework Programme
Silna normalizacja przepisywania w rachunku konstrukcji (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
Specyfikacja i weryfikacja systemów oprogramowania – od teorii do praktyki
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Strategic Resilience of Networks
Kierownik: dr hab. Marcin Dziubiński

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Strukturalne własności grafów planarnych i ich algorytmiczne zastosowania (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Komitet Badań Naukowych
System automatycznej oceny bezpieczeństwa telefonów komórkowych
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Samsung Electronics Polska Sp. z o.o.
System do testowania aplikacji w środowisku RCS
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Samsung Electronics Polska Sp. z o.o.
System wspomagania dowodzenia dla duzych aplikacji, oparty na rachunku konstrukcji (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Komitet Badań Naukowych
Teoria i praktyka obliczania najliczniejszych skojarzeń w grafach
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Teoria programowania w logikach modalnych i deskrypcyjnych
Kierownik: dr hab. Anh Linh Nguyen, prof. UW

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Teoria typów w programowaniu funkcyjnym i obiektowym.
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Komitet Badań Naukowych
The Expressiveness of Modal Fixpoint Logics.
Finansowany przez: Fundacja na rzecz Nauki Polskiej
Typy, dowody i poprawne programy
Koordynator: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Weryfikacja i zapytania dotyczące struktur z danymi
Koordynator: prof. dr hab. Sławomir Lasota

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Komitet Badań Naukowych
Wysoce konfigurowalne rozwiązanie eSignature dla szkolnictwa wyższego
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.

Finansowany przez: Innovation and Networks Executive Agency, Ministerstwo Edukacji i Nauki
Wzorce sekwencyjne w tekstach: wydobywanie i analiza (promotorski)
Kierownik: prof. dr hab. Jerzy Tyszkiewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Zaawansowane problemy teorii automatów
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Zagadnienia semantyczne w logikach nieklasycznych stosowanych do wnioskowania aproksymacyjnego
Kierownik: prof. dr hab. Andrzej Szałas

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Zastosowanie metod algebraicznych w algorytmicznej teorii grafów
Kierownik: dr hab. Piotr Sankowski, prof. UW

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Zestaw testów do weryfikacji i oceny analizatorów języka polskiego
Finansowany przez: Komitet Badań Naukowych
Złożone problemy algorytmiczne we współczesnej informatyce teoretycznej
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego

Instytut Matematyki Stosowanej i Mechaniki

Algorytmy i złożoność dla problemów ciągłych
Kierownik: prof. dr hab. Leszek Plaskota

Finansowany przez: Komitet Badań Naukowych
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja

Finansowany przez: Komitet Badań Naukowych
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja

Finansowany przez: Komitet Badań Naukowych
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza asymptotyczna układów kinetycznych
Kierownik: prof. dr hab. Andrzej Palczewski

Finansowany przez: Komitet Badań Naukowych
Analiza jakościowa rozwiązań nieściśliwych cieczy lepkich (promotorski)
Kierownik: Piotr Mucha

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza równań hydrodynamiki i chemotaksji
Kierownik: prof. dr hab. Dariusz Wrzosek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza równań płynu mikropolarnego na dwuwymiarowym torusie (promotorski)
Kierownik: prof. dr hab. Grzegorz Łukaszewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza stabilności równowag w różniczkowych i stochastycznych modelach gier ewolucyjnych
Kierownik: prof. dr hab. Jacek Miękisz

Finansowany przez: Komitet Badań Naukowych
Complexity, tractability and algorithms for computational problems of continuous mathematics
Kierownik: prof. dr hab. Leszek Plaskota

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Deterministic and statistical solutions of micropolar fluids equations (doctoral dissertation grant)
Kierownik: prof. dr hab. Grzegorz Łukaszewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Dynamika powierzchni swobodnych w modelach przejść fazowych
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Evolution equations in hydrodynamics and biology
Kierownik: prof. dr hab. Grzegorz Łukaszewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyczne modele procesu chemotaksji i innych zjawisk z nią związanych
Kierownik: prof. dr hab. Dariusz Wrzosek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyczne modele teorii gier ewolucyjnych i sieci genetycznych
Kierownik: prof. dr hab. Jacek Miękisz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyczne modelowanie procesów nowotworowych
Kierownik: dr hab. Monika Piotrowska

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyczne modelowanie wzrostu kryształów
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyczne podstawy opisów wieloskalowych
Kierownik: prof. dr hab. Mirosław Lachowicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Mathematical Methods in Natural Sciences
Kierownik: prof. dr hab. Piotr Gwiazda

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Modeling, Mathematical Methods and Computer Simulation of Tumour Growth and Therapy
Kierownik: prof. dr hab. Mirosław Lachowicz

Finansowany przez: Unia Europejska
Modelowanie giełdy papierów wartościowych za pomocą gier dynamicznych z continuum graczy
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nonlinear PDE's related to variational and geometric problems
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. UW

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Od komórki zdrowej do zmutowanej - matematyczny opis dynamiki różnych typów populacji komórkowych
Kierownik: prof. dr hab. Urszula Foryś

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Optymalizacja terapii glioblastomy z wykorzystaniem modelowania matematycznego
Finansowany przez: Fundację Jamesa S. Mc. Donnella
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

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Sprawne przybliżanie funkcji
Kierownik: prof. dr hab. Przemysław Wojtaszczyk

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Struktura wymiarowa continuów dziedzicznie nierozkładalnych
Kierownik: prof. dr hab. Elżbieta Pol

Finansowany przez: Komitet Badań Naukowych
Towards regularity
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Instytut Matematyczny Polskiej Akademii Nauk
Typy w dowodzeniu i programowaniu
Koordynator: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Komisja Europejska
Using mathematical modelling and computer simulation to improve cancer therapy
Kierownik: prof. dr hab. Mirosław Lachowicz

Finansowany przez: Unia Europejska
Zagadnienia typu Stefana w matematycznym modelowaniu wzrostu i topnienia kryształów
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Komitet Badań Naukowych
Zagadnienia ze swobodną powierzchnią w mechanice ośrodków ciągłych
Kierownik: prof. dr hab. Grzegorz Łukaszewicz

Finansowany przez: Komitet Badań Naukowych
Zastosowanie współczesnej genomiki funkcjonalnej i bioinformatyki do charakteryzacji i tworzenia modeli procesów biologicznych o istotnym znaczeniu w medycynie i rolnictwie
Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Złożoność i algorytmy dla zadań wielowymiarowych z zastosowaniem do pewnych problemów finansowych i fizyki matematycznej
Kierownik: prof. dr hab. Leszek Plaskota

Finansowany przez: Komitet Badań Naukowych
Złożoność obliczeniowa i algorytmy dla zadań matematyki ciągłej
Kierownik: prof. dr hab. Leszek Plaskota

Finansowany przez: Komitet Badań Naukowych
Środowiskowe Studia Doktoranckie z Nauk Matematycznych
Kierownik: prof. dr hab. Piotr Mucha

Finansowany przez: Narodowe Centrum Badań i Rozwoju