Software Language Engineering

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

  • Babbage's calculating engines


  • Elizabeth Scott

    Professor
    Computer Science, Royal Holloway

    Adrian Johnstone

    Professor
    Computer Science, Royal Holloway