Gergely Mezeiمشاهده پروفایل
دانشیار
Dr. Gergely Mezei is an Associate Professor and Deputy Head of the Department of Automation and Applied Informatics at the Budapest University of Technology and Economics (BME) , Hungary. He is affiliated with the Applied Computer Science Group within the department and is actively involved in research and education in model-driven engineering and formal methods. His research interests lie at the intersection of multi-level modeling , formal verification , and model transformation systems . He has contributed extensively to the development of modeling languages and tools, particularly in the context of DMLA (Deep Multi-Level Architecture) and Melanee , focusing on enabling rigorous, scalable, and verifiable modeling practices. Dr. Mezei's work emphasizes performance optimization in model transformations, visual modeling frameworks , and domain-specific languages . His research spans both theoretical foundations and practical tool implementations, with a strong focus on bridging the gap between formal semantics and usable modeling environments. His recent publications reflect a consistent focus on advancing the state-of-the-art in multi-level modeling and formal verification , with contributions to international workshops such as MULTI and MPM . These works explore challenges in model validation, transformation correctness, and the usability of modeling tools in complex systems engineering. Contact: Email: gmezei@aut.bme.hu Office: Q.B228, Budapest University of Technology and Economics, 1117 Budapest, Magyar tudósok krt. 2., Hungary Phone: +36 (1) 463-3491





