Projekty finansowane przez NCN

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Przeszukiwanie struktur grafowych

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Dariusz Piotr Dereniowski

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Zastosowanie nowoczesnych metod algorytmicznych w rozwiązywaniu NP-trudnych problemów klastrowania.

Konkurs: PRELUDIUM 9 , panel: ST6

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Entropowe relacje nieoznaczoności w zastosowaniu do kryptografii kwantowej

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Zbigniew Włodzimierz Puchała

Instytut Informatyki Teoretycznej i Stosowanej PAN

Metody stopingowe w analizie wybranych algorytmów

Konkurs: OPUS 9 , panel: ST6

Kierownik: prof. Michał Aleksander Morayne

Politechnika Wrocławska

Opracowanie modeli i metod włączania wiedzy do maszyn wektorów wspierających

Konkurs: SONATA 9 , panel: ST6

Kierownik: dr Marcin Orchel

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Ślepe podpisy i elektroniczne dokumenty tożsamości

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Lucjan Piotr Hanzlik

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Model formalny diachronicznego opisu fleksji polskiej i jego komputerowa implementacja

Konkurs: OPUS 8 , panel: HS2

Kierownik: dr Marcin Marian Woliński

Instytut Podstaw Informatyki PAN

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Małgorzata Zbrzezny

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Automaty z wagami dla własności kwantytatywnych

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody wnioskowania o programach w językach wyższego rzędu

Konkurs: OPUS 8 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logiki do przetwarzania danych i weryfikacji

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Konkurs: MAESTRO 6 , panel: ST6

Kierownik: prof. Paweł Maria Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy komunikacyjne w bezprzewodowych sieciach sensorowych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Andrzej Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kryptografia bez zaufanych stron

Konkurs: SONATA 7 , panel: ST6

Kierownik: dr Tomasz Piotr Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Damian Tadeusz Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Formalne podstawy kryptowalut

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Paweł Zając

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Języki i Uczenie w General Game Playing

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmika problemów o zwartej reprezentacji

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

Konkurs: OPUS 6 , panel: HS1

Kierownik: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Przyrostowe uczenie się macierzy

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Wojciech Kotłowski

Politechnika Poznańska, Wydział Informatyki

Wyzwania semistrukturalnych baz danych

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Łukasz Mikulski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Kombinatoryczne i teorio-informacyjne aspekty komunikacji w systemach rozproszonych.

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marcin Kardas

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Teoretyczne aspekty protokołów wyborczych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Filip Tomasz Zagórski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Formalne podejście do praktycznych problemów ukrywaniu informacji

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Marek Dariusz Klonowski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy odpornej optymalizacji dyskretnej

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Adam Andrzej Kasperski

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Synchronizacja automatów i hipoteza Cerny'ego

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Hipoteza BDD/FC i okolice

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Tomasz Mirosław Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Józef Knapik

Instytut Podstaw Informatyki PAN

Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Bartosz Michał Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Nowe pojęcie skończoności w teorii obliczeń

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz Tadeusz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modularna semantyka operacyjna: podejście bialgebraiczne

Konkurs: SONATA BIS 2 , panel: ST6

Kierownik: dr hab. Bartosz Klin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

parametry modeli skończonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice rozstrzygalności w teorii automatów

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Formalny kontekst występowania wyrażeń nominalnych i ich struktura wewnętrzna: generatywna analiza porównawcza

Konkurs: OPUS 4 , panel: HS2

Kierownik: prof. Jacek Ireneusz Witkoś

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji

Konkurs: OPUS 4 , panel: HS1

Kierownik: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

Obliczenia rozproszone w sieciach dynamicznych

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki