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


We use cookies

We use cookies on our website. Some of them are essential for the operation of the site, while others help us to improve this site and the user experience (tracking cookies). You can decide for yourself whether you want to allow cookies or not. Please note that if you reject them, you may not be able to use all the functionalities of the site.