Massimo Bartoletti is Assistant Professor at the Department of Mathematics and Computer Science of the University of Cagliari. His research activity concerns the development of tools and techniques for the specification, analysis and verification of software, with a special emphasis on security. Massimo Bartoletti is founder of the laboratory "[email protected]" (http://blockchain.unica.it), one of the largest academic research group on blockchain technologies in Italy, and director of the node of the Cyber Security National Lab for the University of Cagliari. The laboratory is currently investigating on several aspects of blockchain technologies, among which custom data analytics on blockchains and Domain-Specific Languages for smart contracts. He is principal investigator of several R&D projects on blockchain technologies, editor in chief of the “Non financial blockchains” section of Frontiers in Blockchains, and member of the scientific board of several workshops on blockchain technologies.
