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.