I am a doctoral student at Max Planck Institute for Software Systems. My advisor is Prof. Rupak Majumdar. I finished my master's studies in Electrical Engineering department at University of Tehran. My master's thesis was on the model predictive controller design for storage system of electric vehicles, under the supervision of Professor F.R. Salmasi.

Research Interests


  • Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach with Sadegh Soudjani and Rupak Majumdar, QEST 2018. (Best Paper Award)


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