About Me

Hi, I'm Ármin Zavada, a dedicated PhD student at the Budapest University of Technology and Economics, at the Critical Systems Research Group, with a focus on applying formal methods in the domain of systems engineering. Take a look at my PhD project on GitHub: Semantifyr!

Get In Touch

Explore my work and projects on GitHub: github.com/arminzavada. Reach out to me on my work email: zavadaarmin@edu.bme.hu!