Vince Molnár
Associate professor with a PhD in formal verification and co-author/co-developer on the KerML and SysML v2 efforts, active in SysML v2 working groups and teaching MBSE.
Best podcasts with Vince Molnár
Ranked by the Snipd community
Sep 17, 2025 • 0sec
Episode 60: The SysML v2 Book with Tim Weilkiens and Vince Molnár
Tim Weilkiens, systems modeling author and co-chair of SysML v2.1, teams up with Vince Molnár, associate professor and formal verification expert active in KerML and SysML v2. They discuss the SysML v2 book, KerML as a formal kernel, the shift to text syntax and precise semantics, tooling and API-driven automation, and teaching, certification, and adoption paths.
