I’m an Italian Software Engineer and Computer Scientist based in London. I grew up on Sant’Antioco, a small island off the southwest coast of Sardinia, connected to the mainland by an artificial land bridge. My career since then has taken me across Italy, the UK, Sweden, the US, and China.

I took an unconventional path into computer science. I started out in med school and then changed direction. Making that switch gave me the drive that has shaped everything since. I studied Computer Science at the University of Cagliari before moving to the University of Leicester for a master’s. I began my doctoral research at Leicester under Prof. Nir Piterman and completed it at the University of Gothenburg and Chalmers, working on logics and formal methods for cloud. During my PhD, I published at CAV, KR, and IJCAR — three top venues in automated reasoning. I also spent two summers interning at Amazon Web Services in the San Francisco Bay Area as a PhD intern.

After my PhD, I joined AWS in London as an Applied Scientist in the Automated Reasoning Group, the team that pioneered the application of automated reasoning and rigorous methodologies across AWS’s cloud infrastructure. I then moved to Huawei R&D as a Principal Research Engineer, where I now lead a team specialised in provable reliability at the Cloud Reliability Lab, working on the correctness of cloud services.

The more I work in this field, the more I become convinced that software can and should be built with correctness in mind. Until recently, the tools weren’t quite ready. But that’s now changing fast, and it’s fun to be part of it.