About
The Programming Languages And TOols (PLATO) Group conducts research in the field of programming languages and software development tools. The group's interests include theoretical and practical aspects of the following areas:
- Design and implementation of programming languages,
- Compilers and code optimisations,
- Static code analysis and software verification tools.
Interests also include other tools and techniques used in software development.