I am a computer scientist and mathematician working at the Theoretical Computer Science (TCS) division at KTH to pursue my PhD under Elena Troubitsyna’s supervision. I build frameworks based on existing formal methods and model-based system engineering technologies to model and verify safety of networked control systems in the presence of cyber attacks.
PhD in Computer Science, 2019-2024
KTH Royal Institute of Technology
MS in Graph Theory, and Combinatorics, 2016
Isfahan University of Technology
BSc in Applied Mathematics, 2013
Azad University