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: Ez az e-mail cím a spamrobotok elleni védelem alatt áll. Megtekintéséhez engedélyeznie kell a JavaScript használatát.

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