Chair in Testing, Deputy Director of Research and Head of the Testing research group at Sheffield. The main aim of his research is to devise automated testing techniques (and tools) that generate efficient, systematic test suites on the basis of program code, models or specifications.