The group's research interests cover a wide range of topics in software engineering, formal systems development, software testing and the theoretical foundations of computing. Computational modelling in many forms lies at the heart of the group's work. Because of this broad range and the tradition of a holistic approach to the field the group prides itself in developing research interests that integrate all these aspects. There is a genuine interest in developing rigorous theories and integrating them into practical software development techniques and methods.
There are four themes that underlie the group's work:
- Formal Systems Development;
- Software Testing;
- Software Engineering;
- Modelling Complex Systems.
You can find out more about our research in our strategy document.
VT PhD Research Student Pledge
- All PhD students will meet their supervisor at least weekly.
- All PhD students will be provided with the most appropriate research environment in terms of computers, software and laboratory space.
- All PhD students will be expected to graduate within 4 years of starting - in many cases they will be able to submit earlier.
- All PhD students will be expected to attend and present papers at leading conferences around the world.