ACM_Citations
  • USA-2016

    For contributions to making program verification accessible and practical. Press Release

Experience
Education
Bio
Research interests
My work focuses on formal verification, programming languages, and and software-correctness tools for software engineers.