Amirmohammad Nazari

I am a Ph.D. candidate in the Computer Science Department at the University of Southern California, where I am advised by Professor Mukund Raghothaman. My research focuses on programming languages, automated reasoning, program synthesis, and program analysis. I am particularly interested in tackling challenges related to code explainability and recursive program synthesis. In my recent work, I introduced the concept of sub-specifications as a novel approach to enhance synthesized implementations with explanatory notes. I hold a bachelor's degree in computer engineering from Amirkabir University of Technology.