BME-MIT

Vince Molnár is an associate professor at the Budapest University of Technology and Economics, Hungary. His main research field is model-based development and formal methods, with the primary focus on the design and verification of safety-critical systems. He is the leader of the development of the Gamma Statechart Composition Framework. He participated in the EU projects EMBrACE and ADVANCE and is the technical lead in the OpenSCALING project. He was a member of the SysML v2 Submission Team and is now leading the Conformance and Formal Methods Working Groups of OMG's Systems Modeling Community. He is an active member of the Semantics and Execution Working Groups as well.