The group investigates a number of areas, including algebraic modelling and verification, state-based and concurrent refinement, parallel and evolutionary algorithms, massive multi-agent simulation, non-Turing and heterotic computing, model-based and search-based testing, reverse engineering, model-driven engineering, XML data processing and empirical software engineering. More about these themes can be found on the related pages:
- Verification and Algorithms (head: Prof Georg Struth)
- Testing and Development (head: Dr Anthony J H Simons)
We welcome collaboration in these areas with other research groups, both nationally and internationally. We offer supervised PhD research in these areas. We have also organised a number of international conferences and workshops in some of these areas.
You may also be interested to read the history of the Verification and Testing Research Group. The group has been around, in various incarnations, since around 1985, and is now one of the largest groups in the UK bringing formal techniques to bear in different aspects of software engineering.