• Position: Lecturer in Computer Science.

• Research Interests:
  • Concurrency, particularly the process algebra CSP;
  • Formal modelling of computer security.

• Teaching Interests: This year I am teaching two courses: Concurrency and Formal Program Design.

Here are:

• A list of my publications, most of them viewable;

• advice for potential doctoral students.

In my spare time, I am an active caver.