I am a second-year PhD Student at ISTA under the supervision of Krishnendu Chatterjee. My research interests include theoretical computer science broadly. More specifically, I am interested in Program Analysis, Model Checking and Automata Theory.
Prior to joining ISTA, I completed my bachelor's degree in Pure Mathematics and Computer Science at the Ferdowsi University of Mashhad in Iran.
"Proving Non-Termination by Program Reversal", Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić - ACM Conference on Programming Language Design and Implementation (PLDI 2021) + (artifact)
"Polynomial Invariant Generation for Non-Deterministic Recursive Programs", Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady - ACM Conference on Programming Language Design and Implementation (PLDI 2020)
Silver and Bronze medals at the Iranian Mathematics Competition for University Students (IMS)
Silver and Bronze medals at the International Collegiate Programming Contest (ICPC) – West Asia Regional Contest
Silver medal in the International Mathematics Competition (IMC)
ACM SIGAPP Student Travel Award to Attend ACM/SIGAPP SAC 2019
Ranked 4th in Iranian University Entrance Exam for Master’s Degree in Mathematics (Concours)