I am a second-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 interests are theoretical computer science and machine learning theory. More specifically, I study the complexity of stochastic games and multi-agent RL, in general. My research also aims to understand how to solve learning and inference tasks in the face of various computational and statistical constraints, such as limited memory or too little data.


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