Cím: 1111 Budapest, Stoczek u. 2.
 St. épület, 1. emelet 110

 E-mail: Ez az e-mail cím a spamrobotok elleni védelem alatt áll. Megtekintéséhez engedélyeznie kell a JavaScript használatát.

 Telefon: (36-1) 463-1013

mechatronika

kozut

vasut

legi

Kompetenciák

vasut

Ipari munkák

oktatas

>
Oktatás

vasut

Kutatás

Bartha Tamás

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: 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