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 (3 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 (3 available) »
- Projects with Dr Dirk Pattinson (4 available) »
- Projects with Dr Alwen Tiu (1 available) »
