Az ARNL vezető kutatója.
______

A SZTAKI Rendszer és Irányításelméleti Kutatólaboratóriumának tudományos főmunkatársa, kutatója, az Ipari Irányítástechnikai Rendszerek Csoport vezetője.

A Budapesti Műszaki és Gazdaságtudományi Egyetem Közlekedésmérnöki és Járműmérnöki Kar (KJK) Közlekedés- és Járműirányítási Tanszékének egyetemi docense.

A SZTAKI-ban a Paksi Atomerőműhöz kötődő projekteinek irányítója, részt vett többek között a paksi Reaktorvédelmi Rendszer (RVR) felújításában, az RVR tesztelését végző Univerzális Tesztrendszer, valamint az új Primerköri Nyomásszabályozó megtervezésében és megvalósításában. Tagja az IFAC „Technical Committee 1.5 on Networked Systems” bizottságának, és a Nemzetközi Atomenergia Ügynökség (IAEA) „Technical Working Group on Nuclear Power Plant Control and Instrumentation (TWG-NPPCI)” nevű munkacsoportjának.

Az MTA köztestületi tagja, a Számítástechnikai és Automatizálási Bizottság tagja.

Kutatási területei:

  • nagy megbízhatóságú biztonságkritikus beágyazott rendszerek hardverének és szoftverének architekturális tervezése, tesztelése és formális verifikációja
  • formális modellezés, modellellenőrzés
  • komplex ipari irányító és felügyeleti rendszerek formális verifikációja és validációja
  • biztonságkritikus rendszerek hardver és szoftver tesztelési és diagnosztikai eljárásai
  • számítógépes rendszerek megbízhatósági és kockázatanalízise
  • hibatűrő és biztonságkritikus számítógépes rendszerek hardver rendszertechnikája