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).
|Dec 3, 2020||Our paper “A Scalable Two Stage Approach to Computing Optimal Decision Sets” (coauthored together with Edward Lam, Peter J. Stuckey, and Joao Marques-Silva is accepted at AAAI 2021!|
|Nov 14, 2020||Our paper “Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification” (coauthored together with Gianpiero Cabodi, Paolo Enrico Camurati, Joao Marques-Silva, Marco Palena, and Paolo Pasini) is accepted at DATE 2021!|
|Sep 25, 2020||Our paper “Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay” (coauthored together with Joao Marques-Silva, Thomas Gerspacher, Martin Cooper, and Nina Narodytska) is accepted at NeurIPS 2020!|
|Aug 25, 2020||Our paper “Computing Optimal Decision Sets with SAT” is best in the CP/ML Track of CP 2020!|
|Jul 9, 2020||Our papers “Towards Formal Fairness in Machine Learning” (coauthored together with Martin Cooper, Mohamed Siala, Emmanuel Hebrard and Joao Marques-Silva) and “Computing Optimal Decision Sets with SAT” (coauthored together with Jinqiang Yu, Peter J. Stuckey and Pierre Le Bodic) are accepted at CP 2020!|