EPSRC logo
EPSRC Support By Scheme in Standard Research

Organisation: University of Oxford
Department: Computer Science

Grant TitlePrincipal InvestigatorValue (£)
ACE-OPS: From Autonomy to Cognitive assistance in Emergency OPerationSTrigoni, Dr N 1,215,068
ConCur: Knowledge Base Construction and CurationHorrocks, Professor I 1,131,073
Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order ProgramsOng, Professor CHL 409,019
OASIS: Ontology Reasoning over Frequently-changing and Streaming DataCuenca Grau, Professor B 961,132
QUINTON -- QUerying and INTegrating Over Nested dataBenedikt, Professor M 1,039,798
RealPDBs: Realistic Data Models and Query Compilation for Large-Scale Probabilistic DatabasesLukasiewicz, Professor T 781,286
ReEnTrust: Rebuilding and Enhancing Trust in AlgorithmsJirotka, Professor M 980,606
Resources and co-resources: a junction between semantics and descriptive complexityAbramsky, Professor S 400,336
SCorCH : Secure Code for Capability HardwareMelham, Professor T 312,916

Total Number of Grants: 9
Total Value of Grants: £7,231,234

The grant value may include the cost of access to facilities (these funds are not awarded to the grant holding organisation).