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 and Đorđe Žikelić - Preprint - Tool
"Bidding Games with Charging", Guy Avni, Ehsan Goharshady, Thomas A. Henzinger, Kaushik Mallik - CONCUR'24 - Best Paper Nominee
"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ć - Preprint - 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