ProfileMy area of research broadly includes the security and dependability socio-technical systems. My background is in formal methods.
Together with Paolo Missier and John Fitzgerald, I run the Trusted Dynamic Coalitions project. The project investigates the value of provenance in communication, and develops methods and tools to articulate the interplay between privacy and openness in provenance-enhanced communication. For further details, contact Jeremy Bryans or Paolo Missier.
Together with John Fitzgerald, I co-founded the series of workshops on Formal Aspects of Virtual Organisations. The proceedings of the 2009 workshop can be found here.
A zip archive of an Event-B model of the Paxos consensus protocol can be downloaded from here.
A university-maintained list of my publications can be found here.
ICTAC'08 (Publicity chair)
Workshop on e-Voting and e-Government in the UK 2006
FM'05 (organising committee member)
Centre for Software Reliability (CSR)
School of Computing Science
Newcastle upon Tyne NE1 7RU, UK.
E-mail: Jeremy dot Bryans at ncl dot ac dot uk