Majzik István

	Beosztás:	Egyetemi docens
	Munkahely:	Budapesti Műszaki és Gazdasgtudományi Egyetem, Mesterséges Intelligencia és Rendszertervezés Tanszék, Kritikus Rendszerek Kutatócsoport (ftsrg)
	Cím:	1117 Budapest, Magyar Tudósok krt. 2. Informatika épület, B.421. szoba
	Telefon:	(1) 463-3598
	Fax:	(1) 463-2667
	Web:	https://www.mit.bme.hu/general/staff/majzik
Önéletrajz	E-mail:	majzik@mit.bme.hu
English home page	Skype:	imajzik

Kutatási terület

Számítógépes rendszerek szolgáltatásbiztonsága

Megbízhatóság modellezés és analízis
Kvantitatív megbízhatósági vizsgálatok
Futásidőbeli hibadetektálás

Szoftver verifikáció és validáció (helyességigazolás)

Formális verifikáció
Biztonságkritikus rendszerek

Publikációk

MTMT Publikációs Adatbázis

Google Scholar - ResearcherID

5 fontos publikáció

Oktatás

Formális módszerek
Szoftver- és rendszerellenőrzés
Rendszertervezés és -integráció
Szoftver verifikáció és validáció
Diplomatervezés, Önálló laboratórium, TDK

Nemzetközi kutatási projektek

R5-COP:	Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (ARTEMIS-2013-1)
R3-COP	Robust & Safe Mobile Co-operative Autonomous Systems (ARTEMIS-2009-1)
MOGENTES:	Model-based Generation of Tests for Dependable Embedded Systems (FP7 ICT STREP 216679)
AMBER:	Assessing, Measuring and Benchmarking Resilience (FP7 ICT CA 216295)
SAFEDMI:	Safe Driver Machine Interface (DMI) for ERTMS Automatic Train Control (FP6 SUSTDEV STREP 031413)

Konferenciák és workshopok

DSN:	Conference on Dependable Systems and Networks
EDCC:	European Dependable Computing Conference
SRDS:	Symposium on Reliable Distributed Systems
DEPCOS:	Conference on Dependability of Computer Systems
DADS:	Dependable and Adaptive Distributed Systems Track of the ACM Symposium on Applied Computing

Korábbi projektek

HIDENETS:	Highly Dependable IP-based Networks and Services (FP6 IST STREP 26979)
RESIST:	Resilience for Survivability in IST (FP6 IST NoE 26764)
SCRTV:	Önellenőrzés és futásidejű verifikáció számítógépes programokban (OTKA)
IMDP:	Intelligens mérésfeldolgozás alkalmazása megbízható IT szolgáltatások tervezéséhez (magyar-portugál TéT)
SARCS:	Kötöttpályás közlekedési rendszerek konstruktív, EU-konform biztonsági minősítése (GVOP)
FWSC:	Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez (IKTA)
ROOS:	Robusztus objektum-orientált rendszerek optimális kialakítása (FKFP)
FVSR:	Biztonsági követelmények formális verifikációja hibatűrő rendszerekben (OTKA)
HIDE:	Magasszintű, integrált tervezői rendszer kialakítása szolgáltatásbiztos rendszerek tervezéséhez (IST)
WP:	Konkurens hibadetektálás többprocesszoros rendszerekben watchdog processzorok felhasználásával (PhD)

Szakmai előmenetel

CV:	Szakmai önéletrajz

Majzik István, 2011.