PhD Candidate
Institute of Science and Technology Austria (ISTA)
Am Campus 1, 3400 Klosterneuburg
Email: egoharsh [at] ist [dot] ac [dot] at
I am a third-year PhD candidate 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.
News
Mar 2025. I am an invited speaker at The MPI-SWS OFCOURSE talk series presenting "From Termination to LTL: A template-based approach".
Dec 2024. Our paper "Refuting Equivalence in Probabilistic Programs with Conditioning" has been accepted at TACAS 2025.
Dec 2024. Our paper "Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization" has been accepted at AAAI 2025.
Sep 2024. I will present our work "Bidding Games with Charging" in Reachability Problems 2024.
Publications
"Refuting Equivalence in Probabilistic Programs with Conditioning"
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić
TACAS'25 - preprint"Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization"
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J Motwani, Maximilian Seelinger and Đorđe Žikelić
AAAI'25 - preprint - Selected for Oral Presentation"PolyQEnt: A Polynomial Quantified Entailment Solver"
Krishnendu Chatterjee, Amir Goharshady, Ehsan Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seelinger and Đorđe Žikelić
Preprint - Tool"Bidding Games with Charging"
Guy Avni, Ehsan Goharshady, Thomas A. Henzinger, Kaushik Mallik
CONCUR'24 - Best Paper Nominee - Also presented at RP'24"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ć
FM'24 - artifact - Distinguished Paper Award"Solving Long-run Average Reward Robust MDPs via Stochastic Games"
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Đorđe Žikelić
IJCAI'24 - artifact"Equivalence and Similarity Refutation for Probabilistic Programs"
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić
PLDI'24 - artifact - Also presented at the VeriProP workshop of CAV 24"On Lexicographic Proof Rules for Probabilistic Termination"
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Đorđe Žikelić
FM'21"Proving Non-Termination by Program Reversal"
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić
PLDI'21 - artifact"Polynomial Invariant Generation for Non-Deterministic Recursive Programs"
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady
PLDI'20"The Treewidth of Smart Contracts"
Krishnendu Chatterjee, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady
SAC'19
Awards
FM 2024 Distinguished Paper Award for "Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs"
CONCUR 2024 Best Paper Nomination for "Bidding Games with Charging"
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)
Supervision
Milad Saadat (Sharif University of Technology, Iran) - Scientific Intern - Summer 2023
Ashwin Abraham (IIT Bombay) - Scientific Intern - Summer 2024
Maximilian Seeliger (TU Vienna) - Scientific Intern - Summer 2024
Yizhou (Kelvin) Mao (Shanghai Jiao Tong University) - Scientific Intern - Fall 2024
Ali Shafiee (Sharif University of Technology) - Scientific Intern - Summer & Fall 2024
