TÁMOP-4.2.1/B-09/1/KMR-2010-0002 - IKT-P5-T1: Feladatorientált többprocesszoros rendszerek tervezési módszertanának kifejlesztése

TÁMOP-4.2.2.C-11/1/KONV-2012-0004: Feladatfüggő felépítésű pipeline többprocesszoros rendszerek tervezési módszerének kidolgozása és alkalmazása nagy sebességigényű beágyazott célrendszerekben

OTKA 72611: Feladatfüggő felépítésű többprocesszoros célrendszerek szintézis algoritmusainak kutatása

OTKA 43329: Új rendszerszintű szintézis algoritmusok kutatása a software fejlesztés elveinek és módszertanának kiterjesztése révén

Magasszintű logikai szintézis algoritmusok fejlesztése

Pipeline működésű feladatfüggő felépítésű többprocesszoros rendszerek fejlesztése

Automatikus hardverszintézis C nyelvből kiindulva

Forráskódból adatfolyamgráf előállítása

Kódgenerálás UML-ből

Forráskódok gépi feldolgozása és analízise (Statikus kódanalizátor fejlesztése)