Associated research groups:
- Algorithms, Complexity Theory and Optimisation
- Machine Learning
- Verification
- Knowledge Representation
Further links:
Theoretical Computer Science @ Liverpool
Back to: Department of Computer Science
Logical Methods in Computer Science
This theme addresses research challenges in the logical foundations of computing, automated reasoning, formal verification, and knowledge representation.