Theory of computation, particularly the connections among logic, automata and computational complexity. His current research projects involve algebraic and model-theoretic approaches to circuit ...

The field of interpretability investigates what machine learning (ML) models are learning from training datasets, the causes and effects of changes within a model, and the justifications behind its ...

Beginning with the same foundation as the Computer Science BSc, our MComp degree gives you a grounding in the fundamentals, before encouraging you to specialise further in areas such as speech ...