István Majzik

habilitated associate professor
A munkatárs fényképe

Contact information

1117 Budapest, Magyar tudósok krt. 2. I. ép. IB421
+36 1 463-3598
+36 1 463-4112
majzik (*) mit * bme * hu


Istvan Majzik graduated in Electrical Engineering in 1992. He holds a PhD degree from the Budapest University of Technology and Economics, where he is an associate professor. His research interests are software verification, formal methods, and safety-critical systems. He regularly serves in the program committees of international conferences in the field; in 2012 he acted as technical PC co-chair, in 2016 as general co-chair for the IEEE Symposium on Reliable Distributed Systems (SRDS). He was at BME the principal investigator of 5 European projects, as well as leader of several national research projects. He has 15 years of experience in assessment of railway control software. He has published over 80 papers in international journals, conferences and workshops.


List of publications and author profiles:  ResearcherID  Scopus  ORCID  Google Scholar  ResearchGate  Hungarian Doctoral Council
© 2010-2024 BME MIT