Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Modele obliczeniowe w formalnej weryfikacji
Konkurs: SONATA BIS 12 , panel: ST6
Kierownik: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Granice obliczalności dla zapytań rekurencyjnych
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki