Impact (REF3a/b)
11 - Computer Science and Informatics
University of Oxford
Impact template (REF3a)
Download template (152K)
All impact case studies
Download all case studies (924K)
Individual case studies
UOA11-01: Automated Software Design and Verification (193K)
UOA11-03: Securing Data with Database Firewall (101K)
UOA11-04: Semmle: a powerful query language for analysing large data sources (155K)
UOA11-05: Boinc – Volunteer Computing (223K)
UOA11-06: Validation of Embedded Systems with Bit-Accurate Floating Point (214K)