Senior researcher at NLAS.

______

Senior researcher at the SZTAKI Systems and Control Laboratory, head of the Industrial Control Systems Group.

Associate professor in the Department of Transport and Vehicle Management of the Faculty of Transport and Vehicle Engineering of the Budapest University of Technology and Economics.

In SZTAKI, he was the manager of the projects related to the Paks Nuclear Power Plant, involved in the renovation of the Paks Reactor Protection System (RVR), the design and implementation of the Universal Test System for RVR testing, and the new Primary Circuit Pressure Regulator. He is a member of the IFAC “Technical Committee 1.5 on Networked Systems” and the International Atomic Energy Agency (IAEA) “Technical Working Group on Nuclear Power Plant Control and Instrumentation (TWG-NPPCI)”.

Member of the Public Body of the Hungarian Academy of Sciences and a member of the Computer Science and Automation Committee.

Research areas:

  • architectural design, testing and formal verification of hardware and software for high-reliability security-critical embedded systems
  • formal modeling, model checking
  • formal verification and validation of complex industrial management and control systems
  • hardware and software testing and diagnostic procedures for security-critical systems
  • reliability and risk analysis of computer systems
  • hardware system engineering for fault-tolerant and security-critical computer systems