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.
Publications
"PolyHorn: A Polynomial Horn Clause 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 - Also presented at the VeriProP workshop of CAV 24"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"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