The Programming Languages and Compilers (PLC) Group focuses on developing foundations for building reliable, high-performance and energy-efficient software (including languages, semantics, type systems, program analysis, and implementation techniques) through rigorous experimental evaluation to demonstrate the impact of these foundations.
Our research areas include:
- type systems
- program analysis
- code optimisation
- memory management
- high performance and security.
