|
|
|
Dr. Bartha Tamás
|
| |
Végzettség, Fokozat
|
|
| |
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
|
|
| |
Publikációk
|
Közlemények
Google Scholar
Scopus
|
