In the early 1980's, I completed a BSc in Pure Mathematics
and Computing and an MSc in Computing (thesis was on functional languages) here at Waikato University.
After that, I went to Australia, worked in a small
software company for three years, then did a PhD at the University of New
South Wales (thesis was on object-oriented programming languages and formal methods).
Then I worked as a research fellow in the Software
Verification Research Centre at the University of
Queensland for five years, developing formal methods
for real-time programs and managing the development
of an interactive proof tool called Ergo.
At the end of 1996, I returned home to NZ and took up a position at the University of Waikato.
My current research interests are centred around
the benefits of light-weight formal specification,
such as model-based test generation, and static and
runtime analysis tools for detecting errors in programs.
I am managing the Java development in the
Community Z Tools (CZT) project, and am heavily involved in the
B/Z Testing Tools project. I am also
interested in functional programming and logic programming
and am a member of the Starlog group.
| 
