I am a Research Associate on the RoboCalc project in the Circus/HISE group at the Department of Computer Science, University of York, UK. I have previously worked on the hiJaC project that considered a subset of Java suitable for the development of Safety-Critical Systems.
My research interests are in the formal specification and verification of software. In particular I am interested in formalisms such as Z , Communicating Sequential Processes (CSP)  and Circus , and their underlying semantics as given in the relational setting of Hoare and He's Unifying Theories of Programming (UTP) .
This is my departmental website where I publish my technical work amongst other bits of information. Please feel free to get in touch if you would like to know more about my work.