Skip to main content

All Projects

A

B

C

D

E

F

G

  • Gauge
  • GCSCC Global Cyber Security Capacity Centre

H

  • HARPS Being There: Humans and Robots in Public Spaces
  • HiPerDNO High Performance Computing Technologies for Smart Distribution Network Operation
  • HOTSPOT 2017 HOTSPOT 2017 workshop

I

K

  • KOALA Kids Online Anonymity & Lifelong Autonomy

L

M

N

O

P

Q

  • QISS The Quantum Information Structure of Spacetime
  • Quantum programming via algebraic effects Quantum programming via algebraic effects: cross-fertilization between quantum and probabilistic programming
  • QUINTON QUINTON - QUerying and INTegrating Over Nested data

R

S

T

U

  • UK FIRES UK FIRES: Locating Resource Efficiency at the heart of Future Industrial Strategy

V

  • VSL-Q Verified Simulation for Large Quantum Systems (VSL-Q)

W

Completed Projects

A

B

C

D

E

F

G

H

I

K

L

  • LabHackathon Zimbabwe Ethical hackathon for improved R&D capacity
  • LEMAN Deep LEarning on MANifolds and graphs
  • LINT Logic of Interaction and Information Flow
  • LogMap LogMap: Logic-based Methods for Ontology Mapping
  • LOGO Logics for Ontologies (EPSRC Senior Research Fellowship)

M

N

O

P

Q

R

  • RACE Reasoning about Computational Economies
  • RealPDBs Realistic Data Models and Query Compilation for Large-Scale Probabilistic Databases
  • ReEnTrust ReEnTrust: Rebuilding and Enhancing Trust in Algorithms
  • REOL Reasoning for Expressive Ontology Languages
  • REQUIEM REQUIEM: Resolution-based Query rewrIting for Expressive Models
  • RESPONSIBILITY Global Model and Observatory for International Responsible Research and Innovation Coordination
  • ResQCCom Responsible Quantum Computing Communications
  • Reusability and Dependent Types
  • RInO Reasoning Infrastructure for Ontologies and Instances
  • RoAD RoAD (Responsible AV Data)
  • RoboCup RoboCup International Robot Competitions
  • Robot Football OxBlue, Oxford's Robot Football teams at RoboCup
  • Robotic Search and Rescue

S

T

U

V

W