EPSRC logo
Current EPSRC Support by Department

Organisation: University of Oxford
Department: Computer Science

Grant TitlePrincipal InvestigatorValue (£)
A compositional approach to game-theoretic economic modellingHedges, Mr J 259,304
Academic Centre of Excellence in Cyber Security Research - University of OxfordMartin, Professor A 81,931
AnaLOG: Datalog Extensions for the Analysis of Static and Streaming Data (Ext.)Motik, Professor B 639,838
Bayesian Models of Grammar Induction and TranslationBlunsom, Dr P 939,908
Compositional Higher-Order Model Checking: Logics, Models and AlgorithmsOng, Professor CHL 630,834
Contextuality as a Resource in Quantum ComputationAbramsky, Professor S 320,381
Cyber Security CDT Phase Two (University of Oxford)Martin, Professor A 3,489,711
ED3: Enabling analytics over Diverse Distributed DatasourcesHorrocks, Professor I 866,527
EPSRC Centre for Doctoral Training in Health Data ScienceDavies, Professor J 6,640,406
MOA: High Efficiency Deep Learning for Embedded and Mobile Platforms (Full EPSRC Fellowship Submission)Lane, Dr N D A 608,250
OASIS: Ontology Reasoning over Frequently-changing and Streaming DataCuenca Grau, Professor B 961,132
Oxford University Centre for Doctoral Training in Cyber SecurityMartin, Professor A 3,662,582
PDQ: Proof-driven Query PlanningBenedikt, Professor M 938,362
Provably Secure Decisions Based on Potentially Malicious Trust RatingsMuller, Dr T J C 92,902
RealPDBs: Realistic Data Models and Query Compilation for Large-Scale Probabilistic DatabasesLukasiewicz, Professor T 781,286
Reducing Cost of Software: A Scalable Model-Based Verification FrameworkRoscoe, Professor A 961,156
ReEnTrust: Rebuilding and Enhancing Trust in AlgorithmsJirotka, Professor M 980,606
RoboTIPS: Developing Responsible Robots for the Digital EconomyJirotka, Professor M 1,723,460
VADA: Value Added Data Systems -- Principles and ArchitectureGottlob, Professor G 4,557,635
Verification of Linear Dynamical SystemsWorrell, Professor JB 1,005,506

Total Number of Grants: 20
Total Value of Grants: £30,141,717

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