Research Interests

I have two main areas of interest: Formal Modelling and Watermarking. I've been involved in Formal Modelling for over 10 years with a particular interest in its application to the defence industry. Our modelling approach is called CSP||B and recently we've been developing an approach which enables it to underpin executable UML.

My interest in Watermarking is specific to Binary Watermarking and using Formal Modelling to the analysis of Buyer Seller Watermarking Protocols. I enjoy supervising 3 PhD students in this area and the collaboration within the Multimedia Security Research group is very active.

Research Collaborations

Our main collaborators are AWE plc.. We currently have two research projects with them supporting 1 RA and 1 PhD student. The projects are looking are using CSP||B in their system development process. We are also collaborating with the model-driven engineering research group at York University using their Epsilon language.

Publications

My formal modelling publications can be found on our CSP||B website.

My watermarking publications are prepared in collaboration with my PhD students.

Teaching

I teach two Level 2 undergraduate modules

• Java Programming
• Modelling and Simulation using CSP and JCSP

Both modules are supported using ULearn with an emphasis on practical work. The Java Programming module is examined using a practical exam using Eclipse and a secure upload.

Departmental Duties

Director of Undergraduate Studies

External duties

MSc External Examiner, University of Aberystwyth, Wales.