Hello, I’m Ava, a last year Computer Engineering B.Sc. student at ECE Department at the University of Tehran. My interests lie in Formal Methods, software verification and programming languages. I am currently working on my bachelor's thesis on the topic of modeling and analyzing scheduling algorithms with timed automata, supervised by Prof. Fatemeh Ghassemi.

In addition to my passion for technology, I have a deep love for psychology. I like finding out how the human mind works and how we can improve our mental health. I also find it interesting to figure out how our childhood affects our adult life.