Amirmohammad Nazari

I am a Ph.D. student of Computer Science Department at the University of Southern California, advised by Professor Mukund Raghothaman. My research interests include programming languages, formal verification, program synthesis, and program analysis. In particular, I am working on explaiable program synthesis frameworks, and recursive program synthesis. In my recent works, I introduced the idea of sub-specifications as a mechanism to augment the synthesized implementation with explanatory notes of this form. Moreover, I got my bachelor's degree in computer engineering from Amirkabir University of Technology.