Research interests: software systems

  • software security
  • software protection
  • software analysis and verification
  • information and software assurance
  • programming languages
  • software engineering

Current Projects

Previous Projects

  • Foundational Proof-Carrying Code for security of untrusted code.
  • KISS: Debugging concurrent programs with sequential analysis.
  • EspC: Program analysis on large-scale production code for concurrency defect detection.
  • Formal Methods for software specification and verification.


Leave a Reply

Your email address will not be published. Required fields are marked *