Nicola Atzei is a PhD student at the Department of Mathematics and Computer Science of the University of Cagliari, supervised by Massimo Bartoletti.
Email:
Programming languages, formal methods, blockchain technologies, smart contracts.
Ethereum Lab
CO2 Lab