Vince Molnár

Registered user since Thu 10 May 2018

Name:Vince Molnár

Vince Molnár is an assistant professor at the Budapest University of Technology and Economics. His main research field is model-based design and formal verification, with the primary focus on concurrent, distributed and safety-critical systems. He is the leader of the development of the Gamma Statechart Composition Framework (presented at ICSE 2018). He spent 2 months at CERN as a project associate, made a 10-week visit to McGill University in Canada and worked for a total of 10 weeks in a project secondment at Resiltech Srl in Italy, as well as 5 weeks at INPE in Brazil. Vince attended a number of PhD summer schools, and was awarded the Scholarship of the Republic and the New National Excellence Program scholarship of Hungary multiple times.

LinkedIn profile

Affiliation:Budapest University of Technology and Economics
Research interests:Formal Methods, Model-driven Software and Systems Development


FormaliSE 2022 Author of C for Yourself: Comparison of Front-End Techniques for Formal Verification within the FormaliSE 2022-track
MODELS 2021 PC Member in OpenMBEE within the Workshops-track
MODELS 2020 Author of Mixed-semantics composition of statecharts for the component-based design of reactive systems within the Technical Track-track
* ICSE 2018 * Author of The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems within the DEMO - Demonstrations -track