EPSRC logo
Current EPSRC Support by Department

Organisation: University of Oxford
Department: Computer Science

Grant TitlePrincipal InvestigatorValue (£)
Academic Centre of Excellence in Cyber Security Research - University of OxfordMartin, Professor A 81,931
ACE-OPS: From Autonomy to Cognitive assistance in Emergency OPerationSTrigoni, Dr N 1,215,068
AnaLOG: Datalog Extensions for the Analysis of Static and Streaming Data (Ext.)Motik, Professor B 639,838
Compositional Higher-Order Model Checking: Logics, Models and AlgorithmsOng, Professor CHL 630,834
Cyber Security CDT Phase Two (University of Oxford)Martin, Professor A 3,489,711
EPSRC Centre for Doctoral Training in Health Data ScienceDavies, Professor J 6,640,406
Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order ProgramsOng, Professor CHL 409,019
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
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
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: 17
Total Value of Grants: £28,725,963

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