Activities

P

• Philosophy of Information Oxford University Research Group on the Philosophy of Information

Q

• Quantomatic Quantomatic: Automated Reasoning with Open Graphs
• Quantum Group

Research

• Algorithms and Complexity Theory
• Artificial Intelligence and Machine Learning
• Automated Verification
• Computational Biology and Health Informatics
• Data, Knowledge and Action
• Human Centred Computing
• Programming Languages
• Quantum
  • Activities
  • Projects
  • People
  • Publications
• Security
• Systems