Programming Languages

Welcome to the Programming Languages Research Group.

This is the website of the Programming Languages Research Group at the University of Bristol.

Our research interests include:

  • Functional programming
  • Program analysis
  • Program synthesis
  • Verification
  • Security, cryptography, and programming languages
  • Semantics of programming languages
  • Type theory and foundations

For more information, check our Group website or visit our GitHub.

Head of Group

Meng Wang

Dr. Meng Wang


COMS10016 Imperative and Functional Programming
COMS20007 Programming Languages and Computation
COMS30040 Lambda Calculus and Types
COMSM0067 Advanced Topics in Programming Languages
Edit this page