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 fault-tolerance properties in robotic swarms.
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 to Present
Imperial College London
Masters in Mathematics and Computer Science
2013 to 2017
Wadham College, University of Oxford
4th Workshop on Formal Reasoning in Distributed Algorithms, 16th October 2017
Presenting work by Alessio Lomuscio, Panagiotis Kouvaros