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: