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:


Kerstin Eder

Steve Gregory

Ian Holyer

Dan Page

Dhiraj Pradhan

Research Staff

Andrew Moss

Research Students

Suleiman Abu Kharmeh