Tamás Bartha

Tamás Bartha serves as Associate Professor at Budapest University of Technology and Economics' Department of Control for Transportation and Vehicle Systems since 2013, following previous appointments at the Department of Measurement and Information Systems where he progressed from PhD student (1993-1996) to Assistant Professor (2001-2009) and Associate Professor (2009-2013). He concurrently holds a Senior Research Fellow position at the Institute for Computer Science and Control, MTA SZTAKI since 1998.

His educational background includes an MSc in Electrical Engineering (1993) and PhD (2001) from the same institution.

• MSc in Electrical Engineering (1993)
• PhD (2001)

Bartha specializes in formal verification methodologies for safety-critical systems, with particular expertise in nuclear power plant control systems. His research focuses on model checking, formal verification and validation of complex control systems, and reliability analysis of computer systems. His work bridges theoretical computer science with practical transportation and nuclear engineering applications, emphasizing fault tolerance in critical infrastructure.

He leads significant projects including MTA SZTAKI's initiatives for the Paks Nuclear Power Plant, contributing to the Reactor Protection System renovation and Universal Test System development. His professional recognition includes multiple MTA SZTAKI awards and international committee memberships.

• IFAC Technical Committee 1.5 on Networked Systems
• IAEA Technical Working Group on Nuclear Power Plant Control and Instrumentation
• Committee on Automation and Computer Science of the Hungarian Academy of Sciences

Bartha teaches specialized courses including 'Modern Automotive Products and Development Methods' and delivers formal methods lectures in 'Traffic Automation'. His industry collaborations span major transportation and engineering firms including HungaroControl, Siemens, and Robert Bosch. Fluent in English, German, and Russian, he was born in Budapest on April 22, 1969.