About

Hello!

I am a doctoral student at Max Planck Institute for Software Systems. My advisor is Prof. Rupak Majumdar. I finished my master studies in Electrical Engineering department at University of Tehran, under the supervision of Professor F.R. Salmasi.

Research Interests

Publications

  • Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs with Sadegh Soudjani and Rupak Majumdar.
  • Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control with Rocco Salvia, Eva Darulova, Sadegh Soudjani and Rupak Majumdar, EMSOFT 2019 (to appear).

Competitions

Teaching

    Advanced Automata Theory (teaching assistant), TU-Kaiserslautern, Summer 2018.

Supervised Students

    Ghazal Ebrahimi, Summer 2019.