Staff
Lead researchers
- Choose your halls of residence
- Apply for accommodation
- Guaranteed accommodation
- Your accommodation options
- Accommodation for those with additional requirements
- International and pre-sessional students
- Postgraduate accommodation
- Couples and students with children
- Renting privately
- Our accommodation areas
- Privacy notice
- Terms and conditions
- Fees and contracts
Research project
COVER: COalgebraic Foundations for Quantitative VERification
-
Research groups:
-
Lead researchers:
-
Research funder:Leverhulme Trust
-
Status:Active
