Projects per year
Personal profile
Biography
I am a Senior Lecturer at the Optimisation research group of the Faculty of Information Technology of Monash University.
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).
Education/Academic qualification
Computer Science, Doctor of Philosophy, Irkutsk State University (ISU)
Award Date: 19 Nov 2010
Applied Mathematics, Diploma (Honours Degree), Irkutsk State University (ISU)
Award Date: 15 Jun 2006
Research area keywords
- Satisfiability
- Computational Logic
- Knowledge Representation and Reasoning
- Automated Reasoning
- Artificial Intelligence
- Combinatorial Optimisation
Collaborations and top research areas from the last five years
-
Formal Explainability: Formal Explainability for Neuro-Symbolic Artificial Intelligence
Australian Research Council (ARC)
12/02/25 → 11/02/28
Project: Research
-
HARNESS: Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems
Rezatofighi, H. (Primary Chief Investigator (PCI)), Garcia De La Banda Garcia, M. (Chief Investigator (CI)), Li, Y.-F. (Chief Investigator (CI)), Stuckey, P. (Chief Investigator (CI)), Gasevic, D. (Chief Investigator (CI)), Gutierrez, J. (Chief Investigator (CI)), Qu, L. (Chief Investigator (CI)), Ignatiev , A. (Chief Investigator (CI)), Swiecki, Z. (Chief Investigator (CI)), Vered, M. (Chief Investigator (CI)), Chen, G. (Chief Investigator (CI)), Haffari, R. (Chief Investigator (CI)) & Say, B. (Chief Investigator (CI))
20/06/23 → 20/02/27
Project: Research
-
NLCG: Huub: Next-Gen Lazy Clause Generation
Stuckey, P. (Primary Chief Investigator (PCI)), Ignatiev , A. (Chief Investigator (CI)), Dekker, J. (Associate Investigator (AI)) & Zhong, A. (Associate Investigator (AI))
14/04/25 → 13/04/26
Project: Research
-
A Formal Explainer for Just-In-Time Defect Predictions
Yu, J., Fu, M., Ignatiev, A., Tantithamthavorn, C. & Stuckey, P., 26 Aug 2024, In: ACM Transactions on Software Engineering and Methodology. 33, 7, 31 p., 187.Research output: Contribution to journal › Article › Research › peer-review
Open Access -
Anytime Approximate Formal Feature Attribution
Yu, J., Farr, G., Ignatiev, A. & Stuckey, P. J., 2024, 27th International Conference on Theory and Applications of Satisfiability Testing. Chakraborty, S. & Jiang, J.-H. R. (eds.). Saarbrücken/Wadern Germany: Schloss Dagstuhl, 23 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 305).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile -
Delivering inflated explanations
Izza, Y., Ignatiev, A., Stuckey, P. J. & Marques-Silva, J., 2024, Thirty-Eighth AAAI Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). Washington DC USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 12744-12753 10 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 11).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile4 Citations (Scopus) -
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Albert, E., Garcia De La Banda, M., Hernández-Cerezo, A., Ignatiev, A., Rubio, A. & Stuckey, P. J., 2024, Proceedings of the ACM on Programming Languages: Programming Languages Design and Implementation (PLDI 2024). Regehr, J. (ed.). New York NY USA: Association for Computing Machinery (ACM), Vol. 8. p. 1437 - 1462 26 p. 205Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile1 Citation (Scopus) -
Towards Universally Accessible SAT Technology
Ignatiev, A., Tan, Z. L. & Karamanos, C., 2024, 27th International Conference on Theory and Applications of Satisfiability Testing. Chakraborty, S. & Jiang, J.-H. R. (eds.). Saarbrücken/Wadern Germany: Schloss Dagstuhl, 16 p. 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 305).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Open AccessFile