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.
Prior 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
news
| May 04, 2026 | I am excited to announce that my paper titled “Strongly Polynomial Time Complexity of Policy Iteration for Robust MDPs” has been accepted at COLT’26. |
|---|---|
| Apr 29, 2026 | I am excited to announce that my paper titled “Automated Approach for Solving Infinite-state Polynomial Reachability Games” has been accepted at IJCAI’26. |
| Nov 08, 2025 | I am excited to announce that my paper titled “Qualitative Analysis of ω-Regular Objectives on Robust MDPs” has been accepted at AAAI’26. |
| Oct 30, 2025 | I am honored to share that my paper, “PolyQEnt: A Polynomial Quantified Entailment Solver”, has received the Distinguished Tool Paper Award at ATVA’25. |
| Jul 04, 2025 | I am excited to announce that my paper titled “PolyQEnt: A Polynomial Quantified Entailment Solver” has been accepted at ATVA’25. |