Staff
Academic Staff >> Assoc. Prof.
Mark Utting (Associate Professor)

MSc Waikato PhD NSW

Details

  • Room No: G.B.15
  • Telephone: +64 7 838 4791
  • Extension: 4791
  • Facsimile: +64 7 858 5095
  • Email: marku@waikato.ac.nz

Further information can be found at my personal web site: http://www.cs.waikato.ac.nz/~marku/.

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