András Vörös

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.