Skip to main content

HARE

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:

Staff

Research Staff


John Cartlidge

Markus Jalsenius

Jimson Mathew

Research Students


Suleiman Abu Kharmeh

Leon Atkins

Mo Haghighi

Robert Hunt

Michael Meadows

Marco de Luca

Visitors