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.