Biography

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).