I am about to graduate as a PhD student at Imperial College under the supervision of Ana Caraiani!
I worked on arithmetic geometry, representation theory and number theory. In particular, this includes the p-adic geometry of Shimura varieties, and Emerton-Gee stacks.
I am transitioning to work on various aspects of machine learning. Particular interests include: interpretability, AI safety, theory of deep learning, machine learning for automated theorem proving. You can find more information on my CV.