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