The Department has world leading researchers in algorithms and complexity, bioinformatics, distributed and global computing, machine learning, software language engineering and type theory. The theories we develop lead to the design and building of novel practical computing systems, and their application in the real world. This is an essential element in validating our theories. It also generates opportunities for collaboration with industry and other institutions.
Together with the Information Security Group, we able to offer a full spectrum of activity from cloud physical infrastructure and middleware through to machine learning-based data analytics and information security, which is generating many approaches from potential users and collaborators.
In the past ten years, the Department has received more than £4 million in research funding, from the Engineering and Physical Sciences Research Council, the European Union, the Department of Trade and Industry, the Royal Society, the British Council, the Nuffield Foundation, and from our broad network of industrial and government collaborators. All this creates a vibrant research environment in which research students can learn and develop their own research profile under our guidance and supervision.
For further information about academic staff and research students in the Department, including their publications and projects, please visit this webpage .
Algorithms and Applications
This group is concerned with the study of various kinds of algorithms – parameterised, exact, randomised, heuristic and approximate – for problems arising in graph and hypergraph theory, constraint satisfaction, combinatorial optimisation, and their numerous applications. Our current main focus is, from a theoretical perpective, in parameterised algorithms and complexity and, from the point of view of applications, in access control in information security.
For further information, visit the Centre for Algorithms and Applications website.
This is a new research area involved in a variety of different areas within Bioinformatics including gene prediction, Protein-DNA interactions, reconstructing Biological networks from transcriptomic data and identifying markers in human serum using proteomic data. In particular, we are adapting machine learning and other methods developed in the Department in this area.
For further information, visit the Bioinformatics website.
This group is involved both in fundamental research and in commercial industrial applications in various fields of machine learning. The current research topics are universal prediction, Support Vector method, probabilistic reasoning, the theory of Kolmogorov and predictive complexity, on-line prediction with expert advice, transductive inference, reinforcement learning, and computational finance.
For further details, visit the Computer Learning Research Centre's website.
Distributed and Global Computing
This group was established in late 2012 and is researching a wide spectrum of topics spanning all aspects of theory and practice of distributed systems. The group's unique focus in on large-scale and dynamic distributed systems exemplified by the modern days clouds, service-oriented architectures, and distributed intelligence, among others. The research directions being pursued within the group complement each other, and address diverse facets of distributed computing and systems.
For more information, visit the Distributed and Global Computing group website.
Software Language Engineering
Work in the Centre for Software Language Engineering focuses on the theory and application of grammar-based techniques. Our interests encompass traditional programming language design and implementation; Domain Specific Language development; reverse compilation; modular syntax and semantics; the interpretation of biological sequence data; and the semi-automatic derivation of customised computer architectures for embedded systems.
For more information, visit the Centre for Software Language Engineering's website.