Andrea Bracciali, PhD (U. of Pisa) is a SICSA Lecturer in Computer Science at Striling University, UK, where he is program director of the MSc in Fitech. His background is in formal method for the analysis of systems in different disciplines. From 2015 he is working on Blockchain, Crpytocurrencies and Smart Contracts. Contact: abracciali@gmail.com