Experience
Education
Bio
Current Research Interests
automated testing, analysis, verification, and repair of software, string analysis, constraint solvers, sidechannel analysis, quantitative information flow, design for verification, symbolic execution, model
checking, computer security, software engineering