Associated research groups:
- Algorithms, complexity theory and optimisation
- Machine Learning
- Verification
- Knowledge representation.
Further links:
Theoretical Computer Science at 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.