Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Analiza ilościowych modeli obliczeniowych
Konkurs: SONATA BIS 14 , panel: ST6
Kierownik: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
-
Modele obliczeniowe w formalnej weryfikacji
Konkurs: SONATA BIS 12 , panel: ST6
Kierownik: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki