Projekty finansowane przez NCN

Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

Konkurs: OPUS 28 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

Na granicy niemożliwego w klasycznej teorii automatów

Konkurs: OPUS 28 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Epitaksjalne warstwy półprzewodnik/nadprzewodnik -w kierunku nowych technologii kwantowych

Konkurs: OPUS 28 , panel: ST11

Kierownik: prof. Henryk Grzegorz Teisseyre

Instytut Fizyki Polskiej Akademii Nauk

Analiza ilościowych modeli obliczeniowych

Konkurs: SONATA BIS 14 , panel: ST6

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Wykraczając poza analizę najgorszego przypadku: problemy online z opóźnieniami i stochastycznymi czasami przyjścia

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Michał Łukasz Pawłowski

IDEAS NCBR Sp. z o.o.

Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Optyczne pomiary fal milimetrowych w pobliżu struktur rezonansowych poprzez interfejs atomów rydbergowskich

Konkurs: PRELUDIUM 23 , panel: ST7

Kierownik: Sebastian Jan Borówka

Uniwersytet Warszawski

Rozwijanie Teorii Sieci Petriego: Głębsze zrozumienie Klasycznych Problemów i Ich Zastosowania w Procesach Przepływów Ro...

Konkurs: OPUS 27 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski

Synteza poprzez aktywne uczenie się: teoria i zastosowania

Konkurs: OPUS 27 , panel: ST6

Kierownik: dr hab. Jan Otop

Uniwersytet Wrocławski

Przetwarzanie olbrzymich danych tekstowych i ich uogólnień: algorytmy i warunkowe ograniczenia dolne

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr Paweł Maciej Gawrychowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zintegrowane kwantowe układy fotoniczne na platformie hybrydowej InP/SiO2

Konkurs: SONATA BIS 13 , panel: ST7

Kierownik: dr Paweł Mrowiński

Politechnika Wrocławska

Nowoczesne narzędzia analizy sieci złożonych

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr Małgorzata Sulkowska

Politechnika Wrocławska

Optymalne i probabilistyczne uczenie operacji kwantowych

Konkurs: OPUS 24 , panel: ST6

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

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Izotopowo wzbogacany epitaksjalny azotek boru jako innowacyjna platforma technologii kwantowych opartych na defektach sp...

Konkurs: OPUS 24 , panel: ST5

Kierownik: prof. Andrzej Stefan Wysmołek

Uniwersytet Warszawski, Wydział Fizyki

Wymiar i Boolowski wymiar częściowych porządków

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Badania nad możliwością zastosowania metaliczno-organicznych falowodów w kalorymetrycznych przetwornikach wartości skute...

Konkurs: OPUS 24 , panel: ST7

Kierownik: prof. Marian Paweł Kampik

Politechnika Śląska, Wydział Elektryczny

Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Azotkowe diody elektroluminescencyjne emitujące pojedyncze fotony dozastosowań w technologiach kwantowych

Konkurs: OPUS 23 , panel: ST7

Kierownik: prof. Czesław Dariusz Skierbiszewski

Instytut Wysokich Ciśnień Polskiej Akademii Nauk

Algebra liniowa w wymiarze skończenie-orbitowym

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy spełnialności i równoważności dla skończonych algebr

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr Jacek Krzaczkowski

Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marta Piecyk

Politechnika Warszawska

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej

Konkurs: SONATA 17 , panel: ST6

Kierownik: dr Tomáš Masařík

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Weryfikacja technologii, zastosowań i układów kwantowych

Konkurs: CHIST-ERA2020 , panel: ST2

Kierownik: dr hab. Remigiusz Augusiak

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

Analiza procesów termicznych i mechanizmów degradacji długofalowych laserów kaskadowych na zakres 10-16um. Optymalizacja...

Konkurs: SONATA BIS 11 , panel: ST7

Kierownik: dr Dorota Iwona Pierścińska

Sieć Badawcza Łukasiewicz - Instytut Mikroelektroniki i Fotoniki

Zasoby w Kwantowych Technologiach: Doświadczenie i Teoria

Konkurs: CHIST-ERA2020 , panel: ST2

Kierownik: dr Alexander Streltsov

Uniwersytet Warszawski

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Granice automatycznej analizy systemów współbieżnych

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Jan Kazimierz Derbisz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Obwody modularne - algorytmy i ograniczenia dolne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Piotr Kawałek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Obliczeniowe aspekty gier nieskończonych

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Charakteryzacja treści informacyjnej struktur grafowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Krzysztof Szymon Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Symulacje układów fizycznych za pomocą technologii wyżarzania niedalekiej przyszłości

Konkurs: SONATA BIS 10 , panel: ST3

Kierownik: dr Bartłomiej Jerzy Gardas

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Efektywne pamięciowo kodowanie problemów kombinatorycznych do kwantowych obliczeń wariacyjnych

Konkurs: PRELUDIUM 19 , panel: ST6

Kierownik: dr Adam Piotr Glos

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Silnie oddziałujące i ciasno związane układy kwantowe: nowy zestaw narzędzi dla technologii kwantowych

Konkurs: OPUS 19 , panel: ST2

Kierownik: dr Krzysztof Aleksander Jachymski

Uniwersytet Warszawski, Wydział Fizyki

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr hab. Michał Maria Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modele obliczeń rozszerzone o dane

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Marek Piotr Adamczyk

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Stefan Michał Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ultradokładna spektroskopia prostych molekuł dla badań podstawowych – kriogeniczny spektrometr bazujący na wnęce optyczn...

Konkurs: OPUS 18 , panel: ST2

Kierownik: dr hab. Piotr Jan Wcisło

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Ciekłokrystaliczne, chiralne nanomateriały dla giętkich technologii fotonicznych

Konkurs: OPUS 18 , panel: ST5

Kierownik: dr hab. Wiktor Eligiusz Lewandowski

Uniwersytet Warszawski, Wydział Chemii

Analiza oraz dekompozycja części sterującej systemu cyber-fizycznego opisanego z zastosowaniem interpretowanej sieci Pet...

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr hab. Remigiusz Grzegorz Wiśniewski

Uniwersytet Zielonogórski

Kolorowania, kliki i zbiory niezależne w klasach grafów

Konkurs: SONATA BIS 9 , panel: ST6

Kierownik: dr hab. Bartosz Maria Walczak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki