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.
Language engineering and general parsing