My current research focus is on building robust and verifiable AI systems that can be trusted to behave reasonably even under adversarial circumstances. More generally, I am interested in developing algorithms to guarantee correct behavior in complex autonomous systems.
My research has received several best paper awards at AI conferences ( UAI 2018, CP 2016 , UAI 2014 and ECML 2008).