Affiliations

As well as project work I take part in many professional activities including close links with academic researchers and technical conferences.

• Fellow of the Royal Academy of Engineering
• Fellow of the British Computer Society
• Chartered Engineer.
• ACM member
• Formal Methods Europe member
• From 2003 to 2006 I was an honorary visiting professor in the Department of Computer Science, University of York, where I also served on the Industrial Advisory Board.

Invited speaker at conferences on software engineering, requirements engineering and formal methods.

Programme co-chair of the International Symposium on Secure Software Engineering and member of other programme committees.

Invited Talks

Keynote speaker at

• The International Conference on Verified Software: Theories, Tools, Experiments, 2005
• Formal Methods Europe, 2002
• 3rd International Symposium on Requirements Engineering 1997
• 6th Conference on Software Engineering Education 1992
• 13th International Conference on Software Engineering 1991

Invited speaker at

• 7th International Conference on Formal Engineering Methods, 2005
• Software Engineering and Formal Methods,2005
• 5th International Symposium on Requirements Engineering, 2001
• Workshop on Industrial Strength Formal Specification Techniques, 1998
• 10th International Conference of Z Users 1997
• 4th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, 1997

Programme Committees

• Programme co-chair of the International Symposium on Secure Software Engineering 2006
• International Symposium on Requirements Engineering 1995, 2001-2004, 2006
• International Conference on Software Engineering 1995, 2003 - 2005
• Formal Methods in Software Practice 2000
• International Conference on Foundations of Software Engineering 1996
• Conference on Software Engineering Education 1995
• Programme Chair of Z User Meeting 1994
• VDM 90