ACM_Citations
  • USA-2014

    For contributions to software analysis, testing, and verification.

Experience
Education
Bio
My chief research interest is programmer productivity, including software engineering, programming languages, security, testing, and related issues. Many of my publications and programs are available on-line.
I am actively recruiting motivated students who are interested in software engineering, programming languages, security, testing, and related topics. I am interested in new students at both the undergraduate and graduate level.