Starting in October 2021, I am an Applied Scientist in the Automated Reasoning Group, Amazon Web Services, London.
Formal Methods division, CSE Department of University of Gothenburg | Chalmers University of Technology, Sweden. Prior, I was a PhD student and Graduate Teaching Assistant in the Department of Informatics, University of Leicester, UK. My interests fall into the field of theoretical computer science, including all those areas that make use of mathematical techniques and logics, like formal methods, automata theory, computability theory, and verification. I am currently working on the usage of Description Logics to model and reason about the Security of Cloud Infrastructure. I am also an SDE Intern at Amazon Web Services, Cupertino, California. Since March 2019, I am a Doctoral Student in the
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 my expected end date is August 2021.