Computing Science

Our computing science research is organised into four groups, although in practice there are often strong links between these groups and our own Numerical Analysis group as well as strong collaborations with other departments, other universities, companies and research institutes.

• Theory and Automated Verification
  Foundations; semantics; concurrency and security; computer-aided reasoning
• Program Development and Tools
  Programming tools; algebra of programming
• Applications and Algorithms
  Algorithms; computational biology; computational linguistics; constraints; machine learning; spatial reasoning
• Software Engineering
  Software engineering; requirements analysis; security; eScience and Grid computing