Skip to main content
What types of page to search?

Popular pages: Undergraduate Postgraduate PhD Accommodation Research International students

Alternatively use our A-Z index.

Logic and reasoning

We study various specification logics that include a range of modal and temporal logics, knowledge representation, and the reasoning about knowledge and correctness.

Reasoning includes automated reasoning, which is used for emptiness and satisfiability checking of a range of logics, and includes Boolean satisfiability problem (SAT) and Satisfiability modulo theories (SMT) solving. One particular area of interest is the representation of knowledge, an interdisciplinary area of research focusing on (multi-agent) reasoning and decision-making under uncertainty.

Opportunities

We welcome opportunities to engage with students, researchers, and industry partner:

  • PhD opportunities: please contact us if you are interested in pursuing a PhD in logic and/or reasoning
  • Consultancy and research collaborations: we welcome partnerships, consultancy, and knowledge exchange projects with academic, industry, and government partners.

Contact us

Please discuss with relevant academic staff if you are interested in their research.