Znaleziono 2 projektów spełniających kryteria wyszukiwania:
Wydajne obliczenia kwantowe wyższego rzędu
Konkurs: SONATA BIS 14 , panel: ST2
Kierownik: dr hab. Michał Studziński
Uniwersytet Gdański
Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.
Konkurs: SONATA 1 , panel: ST6
Kierownik: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki