Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
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
-
Logiczno-filozoficzne podstawy geometrii i topologii
Konkurs: OPUS 20 , panel: HS1
Kierownik: dr hab. Rafał Gruszczyński
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
-
Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
Konkurs: SONATA 12 , panel: ST6
Kierownik: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki