About Programming Languages at Bristol


We are a team of people interested in programming language research, and associated with the University of Bristol.

Our programming language research spans theoretical foundations, language design and implementation, program analysis and synthesis, as well as the relationship with cryptography and formal proof.