Projektek
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
Önálló laboratórium témák
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)