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.
Teaching
| COMS10016 | Imperative and Functional Programming |
|---|---|
| COMS20007 | Programming Languages and Computation |
| COMS30040 | Lambda Calculus and Types |
| COMSM0067 | Advanced Topics in Programming Languages |