[CV | Research Statement]

About me

I am currently a Ph.D. candidate at Computer and Information Science department of University of Pennsylvania. I am honored to have Rajeev Alur and Ufuk Topcu as my advisors. Prior to my enrollment at Penn, I got my B.Sc. degree in Computer Engineering from department of Computer Engineering at Sharif University of Technology, Iran.

Research Interests

  • Reactive Synthesis
  • Formal methods, verification and Model checking
  • Cyber Physical Systems
  • Artificial Intelligence, Control, and Planning