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.