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.

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