András Vörös

Short CV

András Vörös is an assistant professor at the Budapest University of Technology and Economics. His main research interest is formal methods and model-driven software and systems engineering. He received a Best Software Science paper award at ETAPS 2018. He served as a PC member of FTSCS 2016 and FTSCS 2018 (http://www.ftscs.org/), and he is a reviewer of various international conferences such as MODELS, FASE, ICGT, DSN, and SRDS. He delivered a talk at the RiSE Seminar (TU Wien) and HUSTEF 2018 (Testing Techniques for Critical Deep Learning Applications). He is a lecturer of the professional course "Model-driven system development based on UML/SysML" for industrial partners.