Vince Molnár is a PhD candidate and associate researcher at the Budapest University of Technology and Economics and the MTA-BME Lendület Cyber-Physical Systems Research Group. His main research field is model-based development and formal methods, with the primary focus on concurrent, distributed and safety-critical systems. He is the leader of the development of the Gamma Statechart Composition Framework.
