Dr Andrea Bracciali
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 synthetic biology and crypto-currencies.
Please, see Stirling Research for more detailed information and publications.
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