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.