[CV | Research Statement]

About me

I am currently a postdoctoral associate at Cornell University working with Hadas Kress-Gazit. I got my Ph.D. in 2016 from Computer and Information Science department of University of Pennsylvania where I was advised by Rajeev Alur and Ufuk Topcu. 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