Bio
Istvan Majzik is an associate professor in the Department of Artificial Intelligence and Systems Engineering at the Budapest University of Technology and Economics (BME) in Budapest, Hungary. He earned his PhD in Electrical Engineering and habilitation in Computer Engineering. His research interests include software verification and safety-critical embedded systems. He is also active in collaborative projects with industry partners in these fields. He has over 25 years of teaching experience at BME and has supervised several MSc and PhD projects. Currently, he is lecturer of the subjects "Formal Methods", "Safety-Critical Embedded Systems", and "Software Verification and Validation".