Tomos Sherlock

Bristol, UK

I am a first-year PhD student in the MaVi Group at the University of Bristol. My research interests are interpretability and machine unlearning.

Projects

Mechanisation of a revised inversion lemma for A Complementary Approach to Incorrectness Typing : github.com/TomosSherlock/Inversion-Mechanisation