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.