Vince is an associate professor at the Budapest University of Technology and Economics, Hungary. He earned his PhD in the field of formal methods. He has been teaching MBSE to university students and industrial partners since 2015. His main 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 two working groups in the OMG's Systems Modeling Community. In the Formal Methods WG, he is working with academic and industry experts to bring formal analysis and verification techniques into systems engineering via SysML v2. The Conformance WG is responsible for the development of a test suite to assess the conformance of SysML v2 tools. He is also an active member of the Semantics WG, working on the mathematical foundations of the KerML and SysML languages, as well as the Execution WG, aiming to apply the semantics in the execution of SysML models.

Vince is leading the development of the open-source Gamma Framework, a tool to bridge the gap between engineering models and formal methods, which became the first tool to support the verification of SysML v2 models. 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 EU projects and industrial collaborations, and he is always open to venture further into uncharted territory with like-minded allies from industry and academia.

You can find the list of his scientific publications here, and more information on his website.