I am a PhD student under the supervision of Alessio Lomuscio in the Verification of Autonomous Systems research group. My research focuses on the verification of properties in probabilistic multi-agent systems. I have also carried out work in verifying agent-environment systems controlled by a neural network.
Previously, for my Master’s project, I also investigated applications of reinforcement learning to segmenting medical images (in particular, I designed a semi-automated algorithm to identify the femur in CT and MRI scans of knees).
PhD in Computing, 2017 - Present
Imperial College London
Masters in Maths & Computer Science, 2013 - 2017
University of Oxford