We carry out research in a wide range of topics including programming
language design, implementation, analysis, transformation,
parallelisation and the specification, design, analysis and verification
of both software and hardware systems, approximate string matching, complexity
theory, external memory data structures, data streaming algorithms, randomised
algorithms, and realtime and online algorithms.
For more details see the following pages: