Profile
I have been a member of the School of Computing Science at Newcastle
University since December 2002, and am currently a Senior Research
Associate.
My area of research broadly includes the security and dependability socio-technical systems. My background is in formal methods.
Together with John Fitzgerald, I co-founded the series of workshops on Formal Aspects of Virtual Organisations. The proceedings of the most recent workshop can be found here.
I work on the DEPLOY and TrAmS projects.
A list of publications can be found here.
Teaching
In 2009, I taught on CSC8202.
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 Bryans Centre for Software Reliability (CSR)School of Computing Science
Room 11.04, 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