Tamás Bartha, PhD


Studies, Degrees

MSc in Electrical engineering (1993)

Ph.D. (2001)



Associate Professor



H-1111 Budapest Stoczek J. u. 2. ST. ép. 114.

Tel: (+36)-1-463-2255

email: This email address is being protected from spambots. You need JavaScript enabled to view it.


Place and Date of Birth

Budapest, April 22, 1969.



English, German, Russian



BME Department of Measurement and Information Systems, PhD student (1993-1996), Assistant Lecturer (1996-2001), Assistant Professor (2001-2009), Associate Professor (2009-2013)

BME Department of Control and Transport Automation, Associate Professor (2013-)

Institute for Computer Science and Control, MTA SZTAKI: Senior Research Fellow (1998-)


Research Fields

  • Model checking
  • Formal verification and validation of complex control systems
  • Testing and diagnostic methods of safety critical software and hardware
  • Reliability and risk analysis of computer systems
  • Architectures of fault tolerant and safety critical systems


He is the project leader of MTA SZTAKI's projects related to the Paks Nuclear Power Plant, and participated in the refurbishment of the Reactor Protection System (RPS), and the design and implementation of the Universal Test System of the RPS, and the new Reactor Pressure Controller.

He is member of the IFAC Technical Committee 1.5 on Networked Systems, member of the IAEA Technical Working Group on "Nuclear Power Plant Control and Instrumentation (TWG-NPPCI)", and member of the Committee on Automation and Computer Science of the Hungarian Academy of Sciences.



2012: Institutional award of MTA SZTAKI

2004: Youth award of MTA SZTAKI

2002: Institutional award of MTA SZTAKI

1993: MATE MSc thesis competition (1st prize)

1991: Scholarship of the Republic of Hungary








Google Scholar