Alexey Ignatiev
Faculty of IT, Monash University, Australia
I am a Senior Lecturer at the Optimisation research group of the Faculty of Information Technology of Monash University.
Previously, I was a postdoctoral researcher supervised by Joao Marques-Silva and then a researcher at the Reason Lab, Faculty of Sciences, University of Lisbon, working on various topics related to computing and reasoning with SAT oracles, among many other problem areas.
I did my Ph.D. (candidate of physico-mathematical sciences in Russia) under the supervision of Alexander A. Semenov at Matrosov Institute for System Dynamics and Control Theory, a research institute of the Russian Academy of Sciences. My thesis was about combining conflict-driven clause learning (CDCL) with binary decision diagrams (BDDs) done in parallel.
Currently, my research is mainly focused on the development and improvement of highly efficient SAT- and SMT-based (satisfiability modulo theories) decision and optimization procedures targeting a variety of important practical applications in AI: from software package upgradability and Boolean formula minimization to model-based diagnosis (MBD), software fault localization and eXplainable AI (XAI).
news
Jul 7, 2023 | Our paper “From Formal Boosted Tree Explanations to Interpretable Rule Sets” (coauthored together with Jinqiang Yu and Peter J. Stuckey) is accepted at CP 2023! |
May 8, 2023 | Our article “On Computing Probabilistic Abductive Explanations” (coauthored together with Yacine Izza, Xuanxiang Huang, Nina Narodytska, Martin C. Cooper, and Joao Marques-Silva) is accepted to International Journal of Approximate Reasoning! |
Apr 6, 2023 | Our paper “On Tackling Explanation Redundancy in Decision Trees” (coauthored together with Yacine Izza and Joao Marques-Silva) is accepted at IJCAI 2023! |
Mar 30, 2023 | Our article “No Silver Bullet: Interpretable ML Models Must Be Explained” (coauthored together with Joao Marques-Silva) is accepted to Frontiers in Artificial Intelligence! |
Nov 19, 2022 | Our paper “Eliminating The Impossible, Whatever Remains Must Be True” (coauthored together with Jinqiang Yu, Peter J. Stuckey, Nina Narodytska, and Joao Marques-Silva) is accepted at AAAI 2023! |