Admin. Staff

Academic Staff

Tutoring Staff

All Staff

Steve Reeves

Peter Reutemann

Bill Rogers

John Rose

Stefan Rüger

Samuel Sarjant

Carolina Short

Tony Smith

Lloyd A. Smith

Keith Soo

Simon Spacey

Robert Spence

Craig Taube-Schock

Claire Timpany

Phil Treweek

Emmanuel Turner

Mark Utting

Nicholas (Nic) Vanderschantz

Bronwyn Webster

Ian Witten

Shaoqun Wu

Xiaofeng Yu

All Staff >> Q to Z
Mark Utting (Associate Professor)

MSc Waikato PhD NSW


  • Room No: G.B.15
  • Telephone: +64 7 838 4791
  • Extension: 4791
  • Facsimile: +64 7 858 5095
  • Email:

Further information can be found at my personal web site:

image of staff member

Personal Description
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.

Research Interests
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.

You can access a selection of my papers here

  © 2007 FCMS. The University of Waikato - Te Whare Wananga o Waikato