Vince Molnár is an associate professor at the Budapest University of Technology and Economics, Hungary. He earned his PhD in the field of formal methods and has been teaching MBSE to university students and industrial partners since 2015. His primary research interest is the application of formal methods in systems engineering to help unleash the full potential of MBSE, particularly in the domain of critical systems.

Vince is an active member of the OMG, where he participated in the development of the KerML and SysML v2 specifications, authoring parts of the KerML semantics. He is the leader of the Formal Methods and Conformance Working Groups in the OMG's Systems Modeling Community, and a core member of the Semantics and Execution Working Groups.

In his mission of bringing research results closer to industrial practice, he has been developing the required tooling and methodology in the frame of several R&D projects and industrial collaborations, acquiring a diverse set of insights into different aspects of MBSE.

You can find the list of his scientific publications on Google Scholar and contact him at molnar.vince@vik.bme.hu.