Research Interests

I am interested in developing methods, techniques, and tools to increase the productivity of software practitioners so that they can develop better software faster. In particular, I am interested in automated software analysis, testing, and verification techniques, currently with a special focus on software security assurance.

Current Projects

Past Projects