About me

I am a computer science Ph.D. student at the University of Southern California (USC), under supervision of Dr. Mukund Raghothaman. I also hold a bachelor’s degree in computer science from the Sharif University of Technology.

My Research

My research interests are primarily programming languages and formal verification. More information is available in my CV.