Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
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 C for Yourself: Comparison of Front-End Techniques for Formal Verification
Show activities from other conferences

ICSE 2022-profile
View general profile