Projekty finansowane przez NCN

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Maria Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wydajne algorytmy dla słabych form niedeterminizmu

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr hab. Michał Paweł Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Topologia przestrzeni rozwiązań problemów kombinatorycznych

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Marcin Wrochna

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy aproksymacyjne w obliczu niepełnej informacji

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algebraiczne niezmienniki dla Sieci Petriego z danymi.

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy separacji grafów z perspektywy złożoności parametryzowanej.

Konkurs: PRELUDIUM 10 , panel: ST6

Kierownik: Paweł Komosa

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rada Europejska w procesie kształtowania kompetencji formalnych i nieformalnych w zakresie działań zewnętrznych Unii Eur...

Konkurs: OPUS 10 , panel: HS5

Kierownik: dr hab. Beata Przybylska-Maszner

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Politycznych i Dziennikarstwa

Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Konkurs: POLONEZ 1 , panel: ST6

Kierownik: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metateoria systemów tablicowych

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr hab. Tomasz Dariusz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Wymiar i reprezentacje częściowych porządków: złożoność obliczeniowa, ograniczenia i strukturalne własności

Konkurs: SONATA BIS 5 , panel: ST6

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Zastosowania logiki z funcjami częściowymi

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Jean Marie de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Odporne i efektywne protokoły dla systemów rozproszonych ograniczonych urządzeń

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Marek Dariusz Klonowski

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

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

Epistemologiczne aspekty zastosowania implikacji treściowej jako narzędzia formalizacji wyrażeń języka naturalnego.

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

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

Charakterystyka mechanizmu degradacji DNA w różnych formach programowanej śmierci komórki u roślin

Konkurs: OPUS 8 , panel: NZ3

Kierownik: dr hab. Krzysztof Aleksander Leśniewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii

Ś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

Doskonalenie genetyczne pszenżyta poprzez krzyżowania oddalone z formami amfiploidalnymi Aegilops tauschiii x Secale cer...

Konkurs: PRELUDIUM 8 , panel: NZ9

Kierownik: Maciej Majka

Instytut Genetyki Roślin 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

Nowe nurty w architekturze przezroczystych fasad - eksperymenty formalne, innowacje technologiczne

Konkurs: OPUS 8 , panel: ST8

Kierownik: dr hab. Marcin Michał Brzezicki

Politechnika Wrocławska, Wydział Architektury

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

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Zaniedbanie i samozaniedbanie osób starszych - wyzwania dla opiekunów formalnych i nieformalnych oraz dla profesjonalist...

Konkurs: OPUS 7 , panel: NZ7

Kierownik: prof. Tomasz Kazimierz Grodzicki

Uniwersytet Jagielloński- Collegium Medicum, Collegium Medicum; Wydział Lekarski

Reguły formalne a reguły faktyczne w badaniach ekonomicznych nad konstytucjami krajów postsocjalistycznych

Konkurs: OPUS 7 , panel: HS4

Kierownik: dr hab. Katarzyna Emilia Metelska-Szaniawska

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

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

Formalne teorie prawdy

Konkurs: OPUS 7 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Algorytmika problemów o zwartej reprezentacji

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Postawy pracowników organizacji formalnych wobec zmiany organizacyjnej. Analiza socjologiczna

Konkurs: ETIUDA 2 , panel: HS6

Kierownik: Witold Jacek Nowak

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

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