Skip to main content

Centre for Software Language Engineering

Search Royal Holloway

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.

 

Explore Royal Holloway