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