I'm a PhD student at the Autonomous Intelligent Machines and Systems CDT at the University of Oxford interested in Optimization, Robustness in Machine Learning, and Certification and Verification of Neural Networks, so most posts in this blog will be on these topics!
Also,