Welcome to my personal website. I am a Research Fellow in the Meel group, at the School of Computing of the National University of Singapore (SG). I am currently working on the development of new techniques for maximum satisfiability (MaxSAT) solving and for counting the number of satisfying assignments to Boolean formulae (model counting, or #SAT).
I will soon defend my PhD thesis, Optimal decision-making under constraints and uncertainty, at Leiden University (NL). Part of the research therein was conducted while I was a visiting researcher at Université catholique de Louvain (BE) and the University of Toronto (CA).