Mobile menu icon
Skip to navigation | Skip to main content | Skip to footer
Mobile menu icon Search iconSearch
Search type

Department of Computer Science

algebra on a blackboard

Formal methods

Our researchers

Our expertise covers a broad span of topics in formal methods, automated reasoning, logic and theory.

Our research provides practical tools and theoretical foundations in a variety of areas in Artificial Intelligence and Computer Science, including specification and verification of hardware, software and agent systems; cryptography; knowledge representation, reasoning and support for knowledge management; programming language research; and new mathematics of computational behaviour.

We are world-leading in the automation of logic and the development of automated reasoning tools across several areas.

Research focus

Our research is focussed on the following specialist areas:

  • formal computation model
  • consumer producer workflow
  • abstract representation of logic
  • cryptographic protocol
  • results table from research paper
  • formal computational model
  • abstract ontology representation
  • abstract from research paper