Our research focuses on the theory and application of grammar-based techniques.

Our interests encompass traditional programming language design and implementation; generalised parsing; formal semantics; Domain Specific Language development; reverse compilation; and the semi-automatic derivation of customised computer architectures for embedded systems.

Our work also has an historical perspective: we are investigating the formal notations Charles Babbage developed to design and specify his 19th centuary computing engines.

More about all our research can be found by following the links below.