Computing Science and Mathematics

Research Groups

Applied Formal Methods

For more information, go to the Applied Formal Methods page.

Care Technology

For more information, go to the Care Technology page.

CHORDS (Computational-Heuristics, Operations Research and Decision-Support)

For more information, go to the CHORDS page.

Communications and Services

For more information, go to the Communications and Services page.

Computational Intelligence

For more information, go to the Computational Intelligence page.

Mathematical Biology

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