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, currently with a special focus on building trustworth AI-based software.
Information about the current and past research projects can be found here.