Phil Brooke's SCM home page at Teesside University

I am a Reader in Computer Science at the School of Computing, Teesside University. My main interests are in information security (including cybercrime) and formal methods.

Contact details and schedule
Contact information.
I am on a part-time secondment (funded by the Royal Academy of Engineering) from September 2013 to June 2014. I will not be answering emails nor will I be available in my office on the days scheduled at the secondment.
Plan/schedule/meeting information.
Instant messaging accounts.
OpenPGP and S/MIME keys.
Information about my research is available on these pages along with a list of publications.
I am currently involved with the doctoral symposium of Software Technologies: Applications and Foundations (STAF) 2014. The deadline for submissions is 7th June 2014.
Teaching material can be found via my intranet home page.
Examples and errata for Brooke and Paige's Practical Distributed Processing (published 21st September 2007, details from Springer).
Reading list/suggested activites for prospective computing undergraduates.
Professional memberships: Profile on LinkedIn (

Send comments about this page to