My research interests are in Formal Methods and I am a member of the Dependable Systems Research Group at Essex.
My most recent research concerns Logics for Specification, Refinement and Program Development.
I was the Programme Committee co-chair for ZB2005
If you are interested in being my PhD student please contact me.
Monday, 03 December 2007