I am a PhD student in the Verification of Autonomous Systems (VAS) group under the supervision of Professor Alessio Lomuscio. I am associated with Imperial-X in Safe AI researching the verification and repair of neural network.
Prior to Imperial, I completed an MEng from the University of Oxford and an MSc from the University of Edinburgh, where my focus was on multi-agent systems and my thesis topic was systems with no mechanisms for prior coordination.
Prior to starting my PhD I worked in industry as a software engineer and research scientist for a range of companies including IBM, Eigen Technologies, and Iris.ai, working in predominantly natural language processing.
Please see my CV for a full listing of my professional and academic experience.