Senior Lecturer in the Optimisation research group of the Faculty of Information Technology at Monash University in Melbourne, Australia. 

Previously a postdoctoral researcher supervised by Joao Marques-Silva at the University of Lisbon, Portugal, I am currently a Senior Lecturer in the Optimisation research group of the Faculty of Information Technology at Monash University in Melbourne, Australia. During the recent years, I have been making a number of contributions to highly efficient SAT- and SMT-based decision and optimization procedures targeting a variety of computationally hard practical problems: from software package upgradability and Boolean formula minimisation to model-based diagnosis, software fault localisation and eXplainable AI (XAI). Together with the co-authors pioneered the principled formal approach to XAI, contributing to the area since 2018.