Education

University of Groningen
- Thesis: Complexity Reduction in Verification and Synthesis of Linear Control Systems: An Abstraction-based Approach
- Supervisors: Prof. dr. ir. Bart Besselink (1st Promoter), Prof. dr. Arjan van der Schaft (2nd Promoter), and Prof. dr. ir. Bayu Jayawardhana (co-promoter)
University of Tehran
- Thesis: Analysis and Investigation of Approximation Techniques for the Solution of Nonlinear Regulator Equations (in Persian)
- Supervisor: Prof. dr. ir. Mohammad Javad Yazdanpanah
University of Tehran
- Thesis: Mathematical Modeling of Cancerous Tumors with an Emphasis on Tissue Mechanics and Cell Heterogeneity (in English)
- Supervisor: Prof. dr. Arta A. Jamshidi

Research Experience

- Mentor: Prof. dr. ir. Bart Besselink
- Research
  - Behavioural abstraction of linear systems in time
  - Reactive synthesis for Signal Temporal Logic Specifications
- Teaching
  - Served as a teaching assistant for Linear Systems, including conducting weekly tutorials for undergraduate students.
- Host: Prof. dr. Anne-Kathrin Schmuck
- Research
  - Reactive synthesis for Signal Temporal Logic Specifications
- Supervisor: Prof. dr. ir. Bart Besselink, Prof. dr. Arjan van der Schaft, and Prof. dr. ir. bayu Jayawardhana
- Research
  - Behavioural abstraction of linear systems in state space
  - Modular verification and synthesis
- Teaching
  - Served as a teaching assistant for Linear Systems, including conducting weekly tutorials for undergraduate students.
  - Served as a teaching assistant for Modeling and Control of Complex Nonlinear Engineering Systems, including conducting biweekly tutorials for graduate students.
- Supervisor: Prof. dr. ir. Mohammad Javad Yazdanpanah
- Research
  - Approximating the solution of Regulator Equations
- Teaching
  - Served as a teaching assistant for Linear Algebra.
  - Served as a teaching assistant for Optimal Control.
  - Served as a teaching assistant for Nonlinear Systems.
  - Served as a teaching assistant for Nonlinear Control.
- Supervisor: Prof. dr. Arta A. Jamshidi
- Research
  - Modeling cancerous tumours
- Supervisor: Prof. dr. ir. Hadi Moradi
- Research
  - Control of social robots

- IEEE
- IEEE Control Systems Society
- IEEE Transactions on Automatic control
- Automatica
- IEEE Control Systems Letters
- European Journal of Control
- The 21st European Control Conference (ECC 2023)
- The 22nd National Interuniversity Mathematical Olympiad (LIMO 2026)

Professional Service

- C/C++
- MATLAB
- Simulink
- LATEX
- Python (Basic)
- YALMIP
- CVX
- Optimisation Toolbox
- Multi‑Parametric Toolbox 3 (MPT3)

Computer Skills

CV