Tamás Bartha, PhD

Studies, Degrees

• MSc in Electrical engineering (1993)

• Ph.D. (2001)

Position

Associate Professor

Address

• 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.

Languages

English, German, Russian

Affiliations

• 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

Projects

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.

Awards

• 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

Education

Publications

Publications

Google Scholar

Scopus