Masood Feyzbakhsh Rankooh earned his Ph.D. in Computer Engineering (Artificial Intelligence) from Sharif University of Technology, where he focused on automated reasoning, satisfiability checking, and heuristic search. After his doctoral studies, he worked as a Postdoctoral Researcher at Aalto University (2019–2022) under the supervision of Prof. Jussi Rintanen, contributing to research on SAT‐based planning and encoding methods. He then completed a Postdoctoral Fellowship at Tampere University (2022–2024) under the guidance of Prof. Tomi Janhunen, further exploring topics in logic programming and explainable AI.
His research centers on developing algorithmic approaches aimed at enhancing the efficiency and reliability of intelligent systems. A selection of his recent publications includes:
[1] Masood Feyzbakhsh Rankooh and Tomi Janhunen, “Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs,” Theory and Practice of Logic Programming, 2023 (Best Paper Award at ICLP 2023).
[2] Masood Feyzbakhsh Rankooh and Tomi Janhunen, “Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming,” IJCAI 2024.
[3] Masood Feyzbakhsh Rankooh and Jussi Rintanen, “Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination,” AAAI 2022.