András Vörös

Budapest, Hungary

I am working on my PhD at the FTSRG group at Budapest University of Technology and Economics.

My main interest is formal modelling, verification, I patricipate in the PetriDotNet project at the university.

I like travelling and climbing.

I also play sports as football, tennis, ice hockey.

  • Education
    • Master in Software Engineering