Personal profile


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

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or