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 ...

Engage in a substantial piece of group research, culminating with the possible production of a paper, as well as a final conference-style presentation. You'll have access to the latest hardware, ...