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

Awards

Supervision