Research activities

Mathematical foundations

Mathematical foundations covers the mathematics and logic used in theoretical computer science.


Much of the world’s scientific knowledge is buried within scientific articles, virtually inaccessible to computational analysis and collection. Extracting this knowledge automatically and accurately is difficult. The hypothesis of the Lazarus project is that information is best uncovered by engaging the collective services of the scientific community.

Clinical Knowledge Management

The Clinical Knowledge Management Research Team aims to drive the conception and development of new methods and systems for the growing desire to be able to integrate knowledge all the way from the roots of bio-molecular research to their eventual clinical application.

Centre for Novel Computing

The Centre for Novel Computing investigates techniques and develops associated tools to support high performance computing, with a focus on shared parallel resources

▲ Up to the top