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