I’m a senior lecturer in the department of Computer & Information Sciences at University of Strathclyde, Glasgow, United Kingdom. I’m a member of the Strathclyde Cyber Security (StrathCyber) and the Mathematically Structured Programming (MSP) research groups.

My security & privacy research concerns protocols used to connect devices and people in our digital society. I work to mitigate challenging threats where it is not obvious whether or not attackers can manipulate protocols so that they may, for instance, masquerade using someone elses identity or profile activities. A threat model precisely specifies the capabilities of attackers in such a way that logical methods may be employed to show the presence or absence of attack vectors.

I have a broad interest in interdisciplinary thinking that is required to solve real problems, for which we need to combine multiple methodologies in order to understand cyber threats and measures.

My personal website lays down several research directions in more detail. Notably it also explains my research in concurrency theory, which is important for understanding how to reason precisely about computing involving two or more parties, with protocols being a prime example.