Ehsan K. Goharshady

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 first-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

"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ć - ACM Conference on Programming Language Design and Implementation (PLDI 2021) + (artifact)
"Polynomial Invariant Generation for Non-Deterministic Recursive Programs", Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady - ACM Conference on Programming Language Design and Implementation (PLDI 2020)
"The Treewidth of Smart Contracts", Krishnendu Chatterjee, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady - ACM Symposium on Applied Computing (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)