spacer.gif 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.