I am a fourth-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.

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]

Under Preparation Papers

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

Limit-sure Winning with Small Memory Policies in POMDPs with Reachability objectives: Complexity and Symbolic Algorithm
Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee
Under preparation.

Qualitative Analysis of Robust MDPs with LTL Specifications
Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Ali Shafiee
Under preparation.

A Lower bound for Howard’s Algorithm for Deterministic MDPs with Mean-payoff Objectives
Ali Asadi, Krishnendu Chatterjee, Jakob de Raaij
Under preparation.

Teaching

TAs
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