ACM_Citations
  • USA-2016

    For contributions to verification, programming languages, and software engineering. Press Release

  • USA-2014

Experience
Education
Bio
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.