Jelenleg az ELTE IK QCIHungary projektjében kutatok objektum orientált programok formális specifikációja és automatikus (modell-alapú és tulajdonság-alapú) tesztelése témakörben. Emellett továbbra is kutatom korábbi doktori témámat P4 programozási nyelven írt programok forráskód-alapú teljesítményelemzésével kapcsolatban. Ez a téma a programozási nyelvek statikus elemzés, formális verifikációja, modell ellenőrzése, statikus költségelemzése, valamint a programozási nyelvek alkalmazásai területek metszetében fekszik. A kutatás alkalmazási területét a számítógépes hálózatok jelentik, azon belül is a szofter által definiált hálózatok, a programozható hálózati eszközök, és a szoftver alapú hálózati eszközök. Korábban az Erlang programozási nyelv és az abból generált bájtkód statikus elemzését kutattam.