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. 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. Arta A. Jamshidi

Notable Courses

- Mathematical Models of Systems
- Nonlinear Control Systems
- Fall Course on Numerics and Control
- Linear Matrix Inequalities in Control
- Design Methods for Control Systems
- Formal Methods in Control Design: From Discrete Synthesis to Continuous Controllers
- Optimal Control
- Robust Control
- Nonlinear Control
- Advanced Nonlinear Control
- Stochastic Processes
- Game Theory
- Advanced Motion Control Systems
- Reinforcement Learning
- Differential Equations
- Engineering Mathematics
- Linear Algebra
- Mechatronics
- Physiology

Computer Skills