I am a fifth-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.Sc. in Computer Engineering at Sharif University of Technology.

My research focus is theoretical computer science in general. In particular, I am interested in mult-agent aritifical intelligence and decision-making under uncertainty.

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

Authors are listed in alphabetical order.

Qualitative Analysis of ω-Regular Objectives on Robust MDPs
Ali Asadi, Krishnendu Chatterjee, Ehsan Goharshady, Mehrdad Karrabi, Ali Shafiee
AAAI'26. [paper]

Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona
AAAI'26. [paper]

ε-Stationary Nash Equilibria in Multi-player Stochastic Graph Games
Ali Asadi, Léonard Brice, Krishnendu Chatterjee, K. S. Thejaswini
FSTTCS'25. [paper]

Limit-sure reachability for small memory policies in POMDPs is NP-complete
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee
UAI'25. [paper]

Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes
Ali Asadi, Krishnendu Chatterjee, Jakob de Raaij
UAI'25. [paper]

Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
FSTTCS'24. [paper]

Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda
LICS'24. [paper]

Polynomial reachability witnesses via Stellensätze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi
PLDI'21. [paper]

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

Teaching

TAs
Computer Science Track Core Course, ISTA, Spring 2024 and Spring 2025
Formal Methods: Algorithmic Approaches, ISTA, Spring 2024
Data Structures and Algorithms, Sharif University of Technology, Spring 2018
Probability and Statistics, Sharif University of Technology, Fall 2017