I'm currently a Research Associate with the High Integrity Systems Engineering Group at the
University of York. I work primarily in the field of software safety, with a focus on military applications.
The work I'm doing is funded through the Software Systems Engineering Initiative .