Ph.D. candidate in Computer Engineering,
Graduate research assistant at Cyber-Physical systems (CPS) Lab
School of Computing, Informatics and Decision Systems Engineering (SCIDSE), Arizona State University
Ph.D. candidate in Computer Engineering,
Graduate research assistant at Cyber-Physical systems (CPS) Lab
School of Computing, Informatics and Decision Systems Engineering (SCIDSE), Arizona State University
Hi! I am a PhD candidate in Computer Engineering, and a graduate research assistant in Cyber-Physical systems (CPS) Lab , Arizona State University. My research focuses on requirement-based testing, verification and synthesis of dynamical systems (like autonomous ground and aerial vehicles, and robots) using optimization methods, control theory and machine learning. Currently, I am a Research and Development Co-op at Toyota Tech Center (TTC), where I am working on safe autonomy for vehicles and robots. I've also held a Research and Advanced position at Ford motor company where I worked on the "Active formal trajectory verification" project for autonomous vehicles.
Prior to joining ASU, I got my Bachelors and Masters degrees with first class honors from the Shiraz University.