Research Themes
See also
Research within the Centre for Fundamentals of AI and Computational Theory falls broadly within the following themes:
Logic, Semantics and Verification
Formal Methods and AI
Artificial Neuroscience
Algorithms and Complexity
