- Ph.D. in Electrical and Computer Engineering, The University of British Columbia, Vancouver BC.
- Thesis: Safety Verification of Uncertain Output-Feedback Control Systems (With Application to Closed-loop Anesthesia).
- M.A.Sc. in Electrical and Computer Engineering, The University of British Columbia, Vancouver BC.
- Thesis: Performance Assessment and Adaptive Model Predictive Control of Paper Machines.
- B.Sc. in Electrical Engineering, Amirkabir University of Technology, Tehran, Iran.