Bináris kód inkrementális dekompilálásának kutatása, beleértve hurokszabad és hurokat tartalmazó vezérlési folyamstruktúrákat, Erlang bináris és forráskóddal kapcsolatos alkalmazásokkal. A programnyelvek emuláció-teljességének elméleti vizsgálata és annak következményei az általános dekompilálásra. Tetszőleges vezérlési folyamgráfok absztrakt szintaxisfákba történő strukturálási módszereinek fejlesztése.

Teljes dinamikus gráftulajdonság-karbantartás kutatása irányított gráfokban: erős összefüggőség, elérhetőség, szélességi keresési fák, feszítőfák és hurokbeágyazási erdők reduktív vezérlési folyamgráfokban. A munka hatékony adatstruktúrák és algoritmusok tervezésére összpontosít, amelyek inkrementálisan frissülnek élinzerciók és -törlések alatt.

Az önmódosító kód elméleti és gyakorlati aspektusainak kutatása: Turing-teljesség, írás-végrehajtás dualitás és spekulatív végrehajtási (Spectre-osztályú) szempontok vizsgálata. Vezérlési folyam obfuszkációs technikák fejlesztése irreduktív hurkok és önmódosító konstrukciók alkalmazásával. Tamper-proof módszerek és statikus elemzési megközelítések vizsgálata biztonsági sebezhetőségek felderítéséhez.

Kvantumáramkörök nagy teljesítményű szimulálásának és optimalizálásának kutatása, különös tekintettel adatfolyam-motoros (FPGA/Tensor Streaming Processor) gyorsításra bozon-mintavételezés szimulálásában (PiquassoBoost) és unitér szintézisben (SQUANDER). Hatékony QUBO kódolások fejlesztése logikai formulákhoz, SAT-problémákhoz és kriptográfiai konstrukciókhoz. Variációs kvantumáramkörök optimalizálási stratégiáinak vizsgálata, beleértve a barren plateau jelenség kezelésére szolgáló batch line search módszereket.