Programming Languages and Compilers

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