Nie jesteś zalogowany | Zaloguj się
Facebook
LinkedIn
Powrót do listy grantów

Modele obliczeniowe w formalnej weryfikacji

Kierownik
dr Filip Mazowiecki
Numer umowy
UMO-2022/46/E/ST6/00230
Data rozpoczęcia
2 października 2023
Data zakończenia
1 października 2028
Finansowany przez
Narodowe Centrum Nauki
Typ
Sonata BIS
Przyznana kwota
2 009 400 PLN