Student research opportunities: in Logic & Computation
Discovering and developing logic-based computational methods for reasoning formally about the real world.
» Learn more about the Logic & Computation group.
Current projects
- Projects with Dr Peter Baumgartner (1 available) »
-
Projects with Professor Rajeev Gore (8 available) »
- Learn more about Professor Rajeev Gore
- Efficient and Scalable Theorem Proving in Propositional Dynamic Logic with Converse.
- A Framework for Implementing Modal Logics Using the BDD Method
- Automated Data Cleaning Via Logic
- Finding Minimal Unsatisfiable Subsets in Temporal Logic
- Formalised Cut Elimination Proofs
- Implementing Tableaux Using BDDs
- Logical Reasoning for Data Integration
- Proof Theory of Resource Logics
- Projects with Dr Jinbo HUANG (1 available) »
- Projects with Dr Michael Norrish (3 available) »
- Projects with Dr Dirk Pattinson (4 available) »
- Projects with Dr Alwen Tiu (1 available) »
