Write a Blog >>
ICPC 2022
Mon 16 - Tue 17 May 2022
co-located with ICSE 2022
Vince Molnár

Registered user since Thu 10 May 2018

Name:Vince Molnár
Bio:

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

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

Contributions

Show activities from other conferences

ICSE 2022-profile
View general profile