Curriculum Vitae PDF
Update! –> Starting in October 2021, I am an Applied Scientist 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.