IMG 0343 medium

 

Dr. Bartha Tamás


 

Végzettség, Fokozat

  • okl. villamosmérnök (1993)

  • PhD (2001)

 

Beosztás

egyetemi docens

 

Elérhetőség

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

  • Tel: (+36) 1 279-6227, (+36) 1 463-2255

  • Fax: (+36) 1 466-7483

  • email: bartha.tamas[kukac]kjk.bme.hu

 

Születési hely, idő

Budapest, 1969. április 22.

 

Nyelvtudás

angol, német, orosz

 

Munkahelyek és beosztás

  • BME Méréstechnika és Információs Rendszerek Tanszék, PhD hallgató (1993-1996), tanársegéd (1996-2001), adjunktus (2001-2009), egyetemi docens (2009-2013)

  • BME Közlekedés- és Járműirányítási Tanszék, egyetemi docens (2013-)

  • Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Kutatóintézete: tudományos főmunkatárs (1998-)

 

Kutatási területek

  • Formális verifikáció, modellellenőrzés

  • Komplex ipari irányító és felügyeleti rendszerek formális verifikációja és validációja

  • Biztonságkritikus rendszerek hardver és szoftver tesztelési és diagnosztikai eljárásai

  • Számítógépes rendszerek megbízhatósági és kockázatanalízise

  • Hibatűrő és biztonságkritikus számítógépes rendszerek hardver rendszertechnikája

 

Fontosabb Projektek

Az MTA SZTAKI Paksi Atomerőműhöz kötődő projektjeinek irányítója, részt vett többek között a paksi Reaktorvédelmi Rendszer (RVR felújításában), az RVR tesztelését végző Univerzális Tesztrendszer, valamint az új Primerköri Nyomásszabályozó megtervezésében és megvalósításában.

Tagja az IFAC „Technical Committee 1.5 on Networked Systems" bizottságának, a Nemzetközi Atomenergia Ügynökség (IAEA) „Technical Working Group on Nuclear Power Plant Control and Instrumentation (TWG-NPPCI)" nevű munkacsoportjának és a Magyar Tudományos Akadémia Számítástechnikai és Automatizálási Bizottságának.

 

Díjak

  • 2012: MTA-SZTAKI Intézeti Díj

  • 2004: MTA-SZTAKI Ifjúsági Intézeti Díj

  • 2002: MTA-SZTAKI Intézeti Díj

  • 1993: MATE Diplomaterv pályázat I. díj

  • 1991: Köztársasági Ösztöndíj

 

Oktatási tevékenység

  • "Korszerű autóipari termékek és fejlesztési módszerek" (BMEKOKA8591) tárgyfelelős

  • Formális módszerek előadások a "Közlekedési automatika" (BMEKOKAM202) MSc tárgyban

 

Publikációk

Közlemények

Google Scholar

Scopus