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

Recent & Upcoming Talks

Automated Integrated Analysis of Safety-Security Interactions for Railway Systems
A framework for analysis safety security interactions of railway signaling systems based on SysMl and Event-B.
Dec 7, 2023 10:30 AM — 11:30 AM Vehicle Engineering Laboratory (VEL), Teknikringen 8
Ehsan Poorhadi, Elena Troubitsyna
Automating an Analysis of Safety-Security Interactions for Railway Systems
A framework for analysis the impact of cyber attacks on safety of railway signaling systems based on SysMl and Event-B.
Oct 11, 2023 11:30 AM — 12:00 PM Berlin Change hub
Ehsan Poorhadi, Elena Troubitsyna

Contact