P4 programok statikus költségelemzése (kódelemzés, költségmodellezés, OCaml, hálózatok, cache modellek)

P4 programok statikus elemzése (kódminőség, kódmegértés, kódmetrikák, refaktorálás, stb.)

C++ programok automatikus validálása, verifikációja (modell ellenőrzés, tulajdonság-alapú tesztelés, statikus elemzés, stb.)

Kvantumkulcsmegosztás/QKD modellezés (szabványok, specifikációk formalizálása)

Kvantumkulcsmegosztás/QKD fejlesztés (C++)

C++, OCaml, Java alapú szoftverkód tesztelése (tesztkeretrendszerek, CI/CD, Gitlab, Docker)

Oktatás-segítő rendszerek (Logika, ORSI, Haskell, Erlang, Java)