BME-MIT

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.