"As well as conducting research in the foundations of computer science, much of our research is application-driven and spans areas such as biomedicine & health, manufacturing, transport and data centres." . . . . .