Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 2 projektów spełniających kryteria wyszukiwania:

  1. Wydajne obliczenia kwantowe wyższego rzędu

    Konkurs: SONATA BIS 14 , panel: ST2

    Kierownik: dr hab. Michał Studziński

    Uniwersytet Gdański

  2. 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