Andras Voros

I am a Phd student at Budapest University of Technology and Economics, Fault Tolerant Systems Research Group. I am interested in formal verification and model checking.

You can more information about me:

about.me/andras.voros