Complete list of published papers here.

Historically, my research focused on the area of formal specification and verification, particularly distributed multimedia systems and their associated quality of service. This included the development of a multi-paradigm specification environment that incorporated process algebra, automata and logic-based techniques.

This led to research on dynamic quality of service management strategies for distributed multimedia systems, using timed automata (and stochastically enhanced timed automata) to model QoS monitors and controllers.

My more recent research has focused on the two areas of aspect-oriented software development and feature interactions:

• Information on the department's special interest group on aspect-oriented software engineering can be found here.
• Although traditionally associated with the telecommunications industry, feature interactions can be seen to occur in a diverse range of domains. See the conference series - International Conference on Feature Interaction, ICFI (formerly Feature Interaction Worshop, FIW).

• From October 1987 to June 1990 I studied at Lancaster University for a combined degree (B.Sc. Hons.) in Mathematics and Computer Science, gaining a first class degree.
• Having graduated, I stayed on to complete a PhD in the Computing Department, receiving sponsorship from BT and spending some time working down in Ipswich within the Research and Development team. This work culminated in my thesis entitled The Formal Specification and Verification of Distributed Multimedia Systems. My PhD was awarded in 1995.
• From August 1997 until December 1998 I worked as a (part-time) Research Associate on the V-QoS project, investigating support for the specification and validation of distributed multimedia quality of service properties.
• From January 1999, I have been a part-time lecturer in the Computing Department at Lancaster.
  • During this time, I spent a period of 18 months also associated with the University of Stirling, working on the Accent project.
  • I have also spent a fantastic 5 months working within the Computing Department at the University of Tromso, within the Arctic Circle in Northern Norway ...
  • ... and a period of 4 weeks in Rennes, working in INRIA.

• ACCENT (University of Stirling)
• V-QoS (Lancaster University)
• Tempo