Tudományos munkáját a szoftverminőség ellenőrzés, azon belül a statikus forráskód elemzés és a szimbolikus végrehajtás területén végzi. Kedvenc programozási nyelve a C++. Szereti a macskáját, a motorozást és a sárkányokat. Minden vágya, hogy szorgosan írt történetei könyvek formájában testet öltsenek.