Welcome

I am Lecturer in Computer Science at the University of York working within the Institute for Safe Autonomy. I have a wide range of research interests but I am particularly interested in autonomous systems engineering and how uncertainty impacts the safety of deployed systems.

Having completed a PhD in control systems engineering in collaboration with Jaguar Cars, I moved into industry where I designed and developed bespoke web-based software solutions as well as a product suite for local government focused on governance, risk and compliance. During this period I also provided consultancy services for the management and delivery of software projects.

I returned to academia in 2014 and undertook a DSTL funded PhD which considered 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.

Having completed my PhD I worked on a second DSTL funded project which considered how Natural Language Processing could be integrated with probabilisitc models to improve the accuracy of decision centered tasks where information regarding the operational environment is encoded in unstructured forms.

As a postdoctoral researcher I have worked as part of the Assuring Autonomy International Programme at York where I developed guidance for the assurance of machine learnt components for use in safety critical systems.