Projekty finansowane przez NCN

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

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