A Budapesti Műszaki és Gazdaságtudományi Egyetem doktorandusza, témája a formális módszerek, elsősorban modellellenőrzők. A modellellenőrzési folyamat minden lépése érdekli: a különböző alkalmazási területektől és modelltranszformációktól kezdve a különböző modellellenőrző algoritmusokon, portfóliókon és algoritmus választáson keresztül az eredmény validálásáig. Munkájában hangsúlyt kap a modellellenőrzők valós projektekre való alkalmazhatósága és használhatósága. Nemcsak a szoftverellenőrzéssel, de PLC-kód, hardver és mérnöki modellek formális ellenőrzésével is foglalkozott/foglalkotik