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. 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).
|May 8, 2020||I am invited to give an Early Career Spotlight talk at IJCAI 2020!|
|Jan 15, 2020||Our paper “Branch Location Problems with Maximum Satisfiability” (coauthored together with Oleg Zaikin and Joao Marques-Silva) is accepted at ECAI 2020!|
|Dec 13, 2019||I joined the Optimisation research group at Monash IT as a Senior Lecturer.|
|Sep 21, 2019||Our tutorial proposal “Rigorous Verification and Explanation of ML Models” (together with Joao Marques-Silva, Kuldeep Meel, and Nina Narodytska) is accepted at AAAI 2020!|
|Sep 4, 2019||Our paper “On Relating Explanations and Adversarial Examples” (coauthored together with Nina Narodytska and Joao Marques-Silva) is accepted at NeurIPS 2019!|