Projekty finansowane przez NCN

Nowe architektury i algorytmy neurosymbolicznego uczenia głębokiego

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Piotr Wyrwiński

Politechnika Poznańska

Automatyczne odkrywanie i wykorzystywanie wiedzy dziedzinowej do priorytetyzacji przeszukiwania w problemie automatyczne...

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Iwo Błądek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Skalowalne metaheurystyki dla automatycznej syntezy programów

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Krzysztof Krawiec

Politechnika Poznańska, Wydział Informatyki

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Knapik

Instytut Podstaw Informatyki PAN