Bio
Istvan Majzik is an associate professor in the Department of ArtificialIntelligence and Systems Engineering at the Budapest University ofTechnology and Economics (BME) in Budapest, Hungary. He earned his PhDin Electrical Engineering and habilitation in Computer Engineering. Hisresearch interests include software verification and safety-criticalembedded systems. He is also active in collaborative projects withindustry partners in these fields. He has over 25 years of teachingexperience 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 andValidation".