I am a third-year Ph.D. Student at Institute of Science and Technology Austria (ISTA), fortunate to be advised by Krishnendu Chatterjee. Prior to ISTA, I received my B.S. in Computer Engineering at Sharif University of Technology.

My research interest is theoretical computer science in general. More specifically, I study stochastic games from the algorithmic and complexity theoretic perspective.


Conference Papers

Polynomial reachability witnesses via Stellens├Ątze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi (Alphabetical order)
PLDI, 2021. [paper]

Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis (Alphabetical order)
ATVA, 2020. [paper]


Data Structures and Algorithms, Sharif University of Technology, Spring 2018
Probability and Statistics, Sharif University of Technology, Fall 2017