Centre for Software Language Engineering
Department of Computer Science, Royal Holloway, Egham, TW20 0EX
Centre Director: Professor Elizabeth Scott
Work in the Centre for Software Language Engineering focuses on the theory and application of grammar-based techniques, on verification of automata and on automatic assessment of the reliability and security of software.
Our interests encompass traditional programming language design and implementation; generalised parsing; Domain Specific Language development; reverse compilation; modular syntax and semantics;; and the semi-automatic derivation of customised computer architectures for embedded systems. 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. Our research on automatic assessment of security and reliabliity sits at the intersection of programming languages, software engineering, systems, and security, and ranges from automated test generation and model checking for systems programs to Abstract Interpretation of low level code and specification and detection of malicious behavior.
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 about all our research can be found by following the links on the right above.