bartha_tamas

 

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