Logical Methods in Computer Science
This theme addresses research challenges in the logical foundations of computing, automated reasoning, formal verification, and knowledge representation.
Associated research groups
- Algorithms, complexity theory and optimisation
- Machine Learning
- Verification
- Knowledge representation.