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