Welcome

Having completed a PhD in 1993 I moved into industry where I developed software and laterly provided consultancy services for the management and delivery of software projects. In 2014 I returned to research as a student in the department of Computer Science at the University of York where I work in the Enterprise Systems Group under the supervision of Dr. Radu Calinescu.

My current research is sponsored by DSTL and considers the formal verification of socio-technical systems in which human behaviour introduces variation and flexibility in published workflows. I work with stochastic models, in particular Markov chains, which may be analysed with probabilistic verification tools such as PRISM.