Andrea Bracciali

Lecturer in Computer Science, University of Stirling


face andrea braccialiAndrea Bracciali, PhD, is a SICSA lecturer in Computer Science at Stirling University, UK, after having worked for the University of Pisa, IT, and ISTI-CNR, IT. His background is in modelling and verification of interactive systems, including the semantics of concurrent and distributed systems, verification of security and modelling of bio-systems. More recently, he has been working on blockchain technologies and chairs the workshop series on Trusted Smart Contracts at Financial Cryptography 2017.