OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Janet Sadler Project AdministratorJanet.Sadler@comlab.ox.ac.uk+44 (0)1865 610798
Room 349, Wolfson Building, Parks Road, Oxford OX1 3QD
themes
Foundations, Logic and Structures | Verification
activities
PRISM | Quantitative Analysis and Verification | Quantum Group
projects
Automated quantitative software verification with PRISM | UbiVal | Predictable Software Systems | CONNECT-IP | QICS | Information Flow: Foundations and Applications to Security
