Biography

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.

Interests
  • Formal Methods
  • System (Software) Modeling
  • Safety and Security
  • Autonomous Systems
  • Graph Algorithms
  • Set Theory
  • Algebra
Education
  • 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

Contact