Education

Livio studied Computer Science at the University of Cagliari where he earned his PhD in March 2018, his MSc in 2014, and his BSc (with honours) in 2012.

PhD thesis

Analysing blockchains and smart contracts: tools and techniques. Successfully defended in March 2018.

Visiting experiences

Participation at conferences

  • ITASEC 2019 - 3rd Italian Conference on Cybersecurity, Pisa, Italy
  • CBT 2018 - International Workshop on Cryptocurrencies and Blockchain Technology, Barcellona, Catalonia
  • ITASEC 2018 - 2nd Italian Conference on Cybersecurity, Milan, Italy
  • Serial 2017 - 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, Las Vegas, USA
  • European Blockchain Workshop, Florence, Italy
  • WTSC 2017 - 1st Workshop on Trusted Smart Contracts, Sliema, Malta
  • BW 2017 - 4th Workshop on Bitcoin and Blockchain research, Sliema, Malta
  • FACS 2015 - 12th International Conference on Formal Aspects of Component Software, NiterĂ²i/Rio de Janeiro, Brasil
  • IIR 2015 - 6th Italian Information Retrieval Workshop, Cagliari, Italy

PhD courses