Majzik István

habilitált docens
A munkatárs fényképe

Elérhetőségek

Iroda: 
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB421
Tel.: 
+36 1 463-3598
Fax: 
+36 1 463-4112
Email: 
majzik (*) mit * bme * hu
Személyes honlap: 
http://home.mit.bme.hu/~majzik/

Bevezetés

Majzik István a BME-n szerezte villamosmérnöki diplomáját 1992-ben, PhD fokozatát 1997-ben. Kutatási területei a szoftver verifikáció, a formális módszerek, valamint a biztonságkritikus rendszerek. Rendszeresen szerepel a tématerület nemzetközi konferenciáinak programbizottságaiban; 2012-ben az IEEE Symposium on Reliable Distributed Systems (SRDS) programbizottságának társelnöke, 2016-ban általános társelnöke volt. A BME vezető kutatójaként vett részt 5 EU projektben, továbbá vezetője volt több hazai kutatási projektnek. 15 év tapasztalattal rendelkezik vasúti irányítástechnikai szoftverek értékelésében. Több mint 80 tudományos cikke jelent meg nemzetközi folyóiratokban, konferenciákon és workshopokon.

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató