[CV | Research Statement]
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.
- Reactive Synthesis
- Formal methods, verification and Model checking
- Cyber Physical Systems
- Artificial Intelligence, Control, and Planning