Curriculum Vitae PDF

Update! –>   Since June 2024, I have worked as an Expert B Research Engineer at Huawei R&D. I am based in London and affiliated with Huawei Ireland Research Center’s Cloud Reliability Lab. At Huawei, I lead a team of Research Engineers in Formal Methods, supporting the development of the Huawei Cloud business unit.

Update! –>   Starting in October 2021, I am an Applied Scientist L5 in the Automated Reasoning Group, Amazon Web Services, London.

Update! –>  Since March 2019, I am a Doctoral Student in the Formal Methods division, CSE Department of University of Gothenburg | Chalmers University of Technology, Sweden.

I received my BSc in Computer Science from the University of Cagliari, Italy, in July 2015. I then moved to the University of Leicester, UK, where I completed my MSc in Advanced Computational Methods (September 2016) and stayed on there to study for my PhD. In March 2019, we moved to GU | Chalmers, Sweden, where I officially obtained my PhD in October 2022.