Her curent research is mainly focused on Trustworthy Al and Safe Autonomy: interested  in  reasoning  about  trustworthiness  of  autonomous intelligent  systems, particularly  specifying  and  verifying   responsibility, accountability, resilience, and   privacy  of  mult-agent  systems. She is  also interested  in  information  flow  security.