Ph.D. in Computer Engineering. Arizona State University, Jan 2016 - expected Jan 2021

GPA: 4/4

Research:

• • Requirement-based optimal testing and verification of cyber-physical systems - including those with machine learning components (as part of S-Taliro)

  • Requirement-based control design for dynamical systems using optimization, adversarial training, and other learning-based methods to achieve properties like safety and optimality in the system level.

Courses:

• • Reinforcement learning,

  • Random Signal Theory,

  • Optimization,

  • Statistical Machine Learning,

  • Information Theory,

  • Foundation of Algorithms,

  • Interaction Testing: Theory and application,

  • Cyber-Physical Systems: Modeling and Analysis,

  • Real-Time Embedded Systems.

Other Projects:

• • Implementing a control barrier function based ROS controller for Toyota’s Human Support Robot (HSR) in Gazebo with the purpose of safe navigation in a hospital environment (as a part of my Toyota internship).

  • Scholarly Impact Forecasting using sequential analysis, linear and nonlinear regression models and analyzing the prediction error (RMSE) using different machine learning methods.

  • Active set-based predictions for surrounding traffic participants for verified safe trajectory planning in autonomous vehicles (as a part of my Ford internship)

  • Programming real-time periodic and aporadic priority based tasks on Linux environment, andused Linux trace tools to view and analyze real-time scheduling.• Real-time IO Processing in Zephyr RTOS to compute body movement via gyroscope and ac-celerometer sensors and to apply filter design for state estimation.

  • Implementing a program to analyze schedulability for EDF, RM, and DM schedule algorithms.

MSc. in Electrical Engineering, Control. Shiraz University, 2012 - 2014

GPA: 4/4