Skip to main content

Architecture and Design

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.

For more details see the following pages:

Staff


Kerstin Eder

Steve Gregory

Simon Hollis

Ian Holyer

Dan Page

Dhiraj Pradhan

Research Staff


Andrew Moss

Research Students


Suleiman Abu Kharmeh

Visitors