We use cookies on this site. By browsing our site you agree to our use of cookies. Close this message Find out more

More in this section CSLE

Centre for Software Language Engineering

 sppfBB  chipRotated

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.







CSLE members

Elizabeth Scott   Royal Holloway Professor, Centre Director
Adrian Johnstone Royal Holloway Professor
Matthew Hague Royal Holloway Reader, EPSRC Fellow
Johannes Kinder Royal Holloway Senior Lecturer
Zhaohui Luo Royal Holloway Professor
Paul Klint CWI Amsterdam Visiting researcher
Peter D Mosses University of Delft Visiting researcher
Doron Swade Royal Holloway Visiting researcher
Mark van den Brand Technical University Eindhoven Visiting researcher
Paul Margetts Cognex Corporation Industrial associate

Research activities










Comment on this page

Did you find the information you were looking for? Is there a broken link or content that needs updating? Let us know so we can improve the page.

Note: If you need further information or have a question that cannot be satisfied by this page, please call our switchboard on +44 (0)1784 434455.

This window will close when you submit your comment.

Add Your Feedback