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.

Awards

• Silver medal in the 10th Asia-Pacific Informatics Olympiad (APIO). 2016

• Gold and Silver medal in the 25th and 24th Iranian National Olympiad in Informatics (INOI). 2015, 2014

• 2nd place in the ACM-ICPC West Asia Regional Contest, Tehran, Iran. 2016

• Iranian National Elites Foundation grant for undergraduate studies. 2014-2021

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]

Teaching

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