Research output per year
Research output per year
Research activity per year
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).
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 output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Research output: Contribution to journal › Article › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review