English
Magyar
Majzik István
Elérhetőségek
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.
Oktatás
Doktoranduszai:
Tanszékünkön oktatott tantárgyai:
- Biztonságkritikus beágyazott rendszerek (VIMIMB07)
- Biztonságkritikus rendszerek tervezése (szak781)
- Formális módszerek (VIMIMA07)
- Formális módszerek (VIMIMA26)
- Rendszertervezés és -integráció (VIMIMA11)
- Szoftver verifikáció és validáció (vimmd052)
- Szolgáltatásbiztonságra tervezés (vimim146)
Kutatás
Szakmai előadások:
- Megbízhatóság modellezés és analízis: mire jó ez egyáltalán? (2007. november 14)
Projektek:
- Folyamatok UML alapú modellje (2000 - 2001)
- Hibatűrő rendszerek ellenőrzése (1999 - 2001)
- Hidenets (2006 - 2008)
- I2RT Tudásközpont (2001 - 2002)
- Intelligens adatfeldolgozás (2004 - 2005)
- Jelzőszám alapú diagnosztika (1996 - 1997)
- Megbízható IT szolgáltatások (2004 - 2005)
- Modell alapú teszt generálás (2008 - 2010)
- Mozdonyvezetői kezelőfelület (2006 - 2008)
- Önellenőrzés programokban (2004 - 2006)
- OO rendszerek megbízhatósága (2000 - 2002)
- RESIST kutatói együttműködés (2006 - 2008)
- Robusztus OO rendszerek (2001 - 2003)
- Szolgáltatásbiztonság kiértékelése (2008 - 2009)
- UML modellek ellenőrzése (1999 - 2001)
- Vasúti szoftver értékelése (2003 - )
- Watchdog processzor PC-hez (1995 - 1996)