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

 

Az oldalon sütiket használunk
Weboldalunkon „cookie”-kat (továbbiakban „süti”) alkalmazunk. Ezek olyan fájlok, melyek információt tárolnak webes böngészőjében. Ehhez az Ön hozzájárulása szükséges. A „sütiket” az elektronikus hírközlésről szóló 2003. évi C. törvény, az elektronikus kereskedelmi szolgáltatások, az információs társadalommal összefüggő szolgáltatások egyes kérdéseiről szóló 2001. évi CVIII. törvény, valamint az Európai Unió előírásainak megfelelően használjuk.Azon weblapoknak, melyek az Európai Unió országain belül működnek, a „sütik” használatához, és ezeknek a felhasználó számítógépén vagy egyéb eszközén történő tárolásához a felhasználók hozzájárulását kell kérniük.