2022/46/A/ST6/00072
Słowa kluczowe:
teoria automatów logika modele obliczeń
Deskryptory:
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 6
Konkurs: MAESTRO 14 - ogłoszony 2022-05-15
Przyznana kwota: 4 205 400 PLN
Rozpoczęcie projektu: 2023-09-01
Zakończenie projektu: 2028-08-31
Planowany czas trwania projektu: 60 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.