Martin Henson

henson2.jpg (12096 bytes)

I am a Professor and a former Head of the Department of Computer Science at the University of Essex. I am also Honorary Professor of Computer Science at the University of Waikato in New Zealand

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.

More information on my professional and personal life



Monday, 03 December 2007