PhD Student
Institute of Science and Technology Austria (ISTA)
Am Campus 1, 3400 Klosterneuburg
Email: egoharsh [at] ist [dot] ac [dot] at
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.
Publications
"Solving Long-run Average Reward Robust MDPs via Stochastic Games", Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Đorđe Žikelić - Preprint
"Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs", Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Đorđe Žikelić - Preprint
"Equivalence and Similarity Refutation for Probabilistic Programs", Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić - PLDI 2024 + artifact
"On Lexicographic Proof Rules for Probabilistic Termination", Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Đorđe Žikelić - Formal Methods (FM) 2021
"Proving Non-Termination by Program Reversal", Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić - PLDI 2021 + artifact
"Polynomial Invariant Generation for Non-Deterministic Recursive Programs", Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady - PLDI 2020
"The Treewidth of Smart Contracts", Krishnendu Chatterjee, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady - SAC 2019
Awards
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)