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
"Bidding Games with Charging", Guy Avni, Ehsan Goharshady, Thomas A. Henzinger, Kaushik Mallik - CONCUR 2024
"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 2024 - Preprint
"Solving Long-run Average Reward Robust MDPs via Stochastic Games", Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Đorđe Žikelić - Preprint - IJCAI 2024 - artifact
"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)
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