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 (2 available) »
- Projects with Dr Jeremy Dawson (2 available) »
-
Projects with Professor Rajeev Gore (12 available) »
- Learn more about Professor Rajeev Gore
- A Graphical User Interface for Displaying Proofs
- Efficient and Scalable Theorem Proving in Propositional Dynamic Logic with Converse.
- A Framework for Implementing Modal Logics Using the BDD Method
- Analysing Voting Schemes Using Logic
- Automated Data Cleaning Via Logic
- Automated Reasoning for Artificial Intelligence
- 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
- Verified Vote Counting
- Projects with Dr Jinbo HUANG (1 available) »
- Projects with Dr Michael Norrish (6 available) »
-
Projects with Dr Dirk Pattinson (7 available) »
- Learn more about Dr Dirk Pattinson
- Coalgebraic Automata Theory
- Eating, or Computation with Infinite Data
- Efficient Compositional Theorem Proving
- Formalised Cut Elimination Proofs
- Implementation of Conditional Logics
- Interpolation in Non-Iterative Modal Logics
- Tableaux versus Automata for Modal Logics
- Projects with Dr John Slaney (4 available) »
- Projects with Dr Alwen Tiu (1 available) »
