My main areas of interests are at the intersection of security and formal methods (FM). Currently my active interests are in adversarial machine learning (AML) and privacy. I have a peripheral interest in several topics (e.g. computational finance), but I have not been actively involved in the area for a several years.