Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
1. Metody wnioskowania o programach w językach wyższego rzędu
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 8, panel: ST6
-
2. Wydajne obliczenia kwantowe wyższego rzędu
Kierownik: dr hab. Michał Grzegorz Studziński
Uniwersytet Gdański
Konkurs: SONATA BIS 14, panel: ST2
-
3. Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
Kierownik: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 12, panel: ST6