Write a Blog >>
Sun 10 - Sat 16 October 2021
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


Show activities from other conferences

MODELS 2021-profile
View general profile