Mehrdad Karrabi

Hello! I am a PhD candidate at Institute of Science and Technology Austria (ISTA) working under supervision of Krishnendu Chatterjee. I am broadly interested in Theoretical Computer Science. Specifically, My research focuses on Formal Methods, with a theoretical interest in analysis of finite and infinite-state games and a practical focus on blockchain modeling and analysis. My goal is to integrate theoretical insights with practical applications to ensure the safety of systems.

Proior to ISTA, I completed my Bachelor’s in Computer Engineering at Sharif University of Technology.

Email: [firstname].[lastname] [at] ista.ac.at (ist.ac.at)

CV: download