Algorithms

Overview

Algorithms

Algorithms research is focused upon the representation, analysis and transformation of algorithms abstracted from a range of application domains.

As well as developing new algorithms for various aspects of non-linear and combinatorial optimisation, more theoretical work is conducted in areas such as automatic differentiation, cellular automata, and protocol analysis.

Projects include: