Her research interests are in applications of logic to artificial intelligence and computer science, in particular automated verification and logics for resource-bounded agents. She has published over 100 papers in leading international journals and conferences in artificial intelligence and logic. She has served on the PC or SPC of AAMAS from 2008 to 2016. She has been the lead investigator on several research projects on verification of agent systems.