Skip to main content


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:


Research Staff

John Cartlidge

Markus Jalsenius

Research Students

Suleiman Abu Kharmeh

Leon Atkins

Mo Haghighi

Robert Hunt

Michael Meadows

Marco de Luca