Skip to main page content - your browser does not fully support our CSS, or is text-only.
Computing Science and Mathematics

A picture of Dr Andrea

Dr Andrea Bracciali

SICSA Lecturer

This page is currently under maintainance


My research interests regard, or have regarded, the application of computational modelling and verification techniques to the analysis of interacting systems in fields such as securtiy protocols, coordination languages, systems biology and distributed systems. More recent interests inch towards blockchain technologies, crypto-currencies and smart contracts.

Please, see Stirling Research for more detailed information and publications.

Recent professional activity includes being WG leader and UK representative in the management committee of the cHiPSet COST Action and chair of the First Workshop on Trusted Smart Contracts at Financial Cryptography 2017 and CIBB 2016 international conference.

This semester I am teaching ITNP090 and CSCU9YM. I regularly follow UG and PG projects and summer research students. I contribute to some of the activities of the Stirling University Computer Club, including the recent StirHack, and I am the International Exchanges coordinator for Computing Science. Come and talk to me if you want to engage in an interesting final, extracurricular or research project, or if you would consider the challenge of spending a period studying abroad.

ph: +44 (0)1786 467446
fx: +44 (0)1786 464551
... or drop me an e-mail
... or feel free to pass by
(see below)

Text Only Site