Skip to main content

Centre for Software Language Engineering

Centre for Software Language Engineering

Work in the Centre for Software Language Engineering focuses on the theory and application of grammar-based techniques, on verification of automata, on automatic assessment of the reliability and security of software, and on type theory and applications.

 

Elizabeth Scott   Royal Holloway

Professor, Centre Director

Language engineering and generalised parsing

Matthew Hague Royal Holloway

Reader, EPSRC Fellow

Verification

Adrian Johnstone Royal Holloway

Professor

Language engineering and generalised parsing

Paul Klint CWI Amsterdam

Visiting researcher

Language engineering and generalised parsing

Zhaohui Luo Royal Holloway Professor
Peter Mosses Swansea University

Visiting researcher

Language engineering and generalised parsing

Doron Swade Royal Holloway

Honorary fellow

Babbage

Mark van den Brand Technical University Eindhoven

Visiting researcher

Language engineering and generalised parsing

Paul Margetts Cognex Corporation

Industrial associate

Language engineering and generalised parsing

Our work in software language engineering focuses on the theory and application of grammar-based techniques. Our interests encompass traditional programming language design and implementation; Domain Specific Language development; reverse compilation; modular syntax and semantics; the interpretation of biological sequence data; and the semi-automatic derivation of customised computer architectures for embedded systems.

Generalised parsing
Modular semantics
  • PLanCompS is an EPSRC project in partnership with Swansea University and City University. For details see the PLanCompS website.
Customisable processor architecture
  • Convex vertex set enumeration
Tools
Grammars from language standards

We have a repository of grammars extracted from language standards in their raw form, along with versions suitable for use with YACC and other parser generators. There are also associated tools for translating between grammar formats.

 

 

In the area of verification of infinite-state systems, our focus is on higher-order and counter-based automata models, with a view towards producing practical tools from theoretical results with a handling of concurrent systems.

More information on research in this area can be found here.

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

More information on research in this area can be found here.

Our research spans:

  • Logic – type theory, proof theory, computer-assisted formal reasoning.
  • Language – advanced programming, mathematical vernacular, linguistic semantics.
  • Software engineering – specification languages, system verification, formal methods.
  • Proof assistants – CoqLego and Plastic

Explore Royal Holloway

Get help paying for your studies at Royal Holloway through a range of scholarships and bursaries.

There are lots of exciting ways to get involved at Royal Holloway. Discover new interests and enjoy existing ones

Heading to university is exciting. Finding the right place to live will get you off to a good start

Whether you need support with your health or practical advice on budgeting or finding part-time work, we can help

Discover more about our 21 departments and schools

Find out why Royal Holloway is in the top 25% of UK universities for research rated ‘world-leading’ or ‘internationally excellent’

They say the two most important days of your life are the day you were born, and the day you find out why

Discover world-class research at Royal Holloway

Discover more about who we are today, and our vision for the future

Royal Holloway began as two pioneering colleges for the education of women in the 19th century, and their spirit lives on today

We’ve played a role in thousands of careers, some of them particularly remarkable

Find about our decision-making processes and the people who lead and manage Royal Holloway today