For more information, go to the Applied Formal Methods page.
For more information, go to the Care Technology page.
For more information, go to the CHORDS page.
For more information, go to the Communications and Services page.
For more information, go to the Computational Intelligence page.
For more information, go to the Mathematical Biology page.
In addition to the above research groups, there is still some ongoing research in Algebraic Graph Theory