Profile
My 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.
Conferences
OVERTURE'09 (co-chair)
FAVO'09 (co-chair)
PASM'09
FAVO'08 (co-chair)
ICTAC'08 (Publicity chair)
PASM'08
iTRUST 2006
Workshop on e-Voting and e-Government in the UK 2006
FM'05 (organising committee member)
iTRUST 2005
iTRUST 2004
ICICS 2004
P2P 2004
Contact
Jeremy BryansCentre for Software Reliability (CSR)
School of Computing Science
Claremont Tower
Newcastle University
Newcastle upon Tyne NE1 7RU, UK.
Phone: +44-191-222-7822
Fax: +44-191-222-8788
E-mail: Jeremy dot Bryans at ncl dot ac dot uk