I am a PhD student at Vienna University of Technology (TU Wien), working under the supervision of Prof. Georg Weissenbacher and Prof. Ezio Bartocci, and a member of the Rigorous Systems Engineering and TrustCPS research groups. I received my Master’s degree in Computer Science and Engineering from Sharif University of Technology, where I also served as a lecturer for one year, teaching the undergraduate course on Theory of Automata and Formal Languages. During my master’s studies, I had the privilege of working under the guidance of Prof. Ali Movaghar and Prof. Marjan Sirjani.