Papers
 
Chairperson(s)

Admin. Staff

Academic Staff

Tutoring Staff

All Staff

David Bainbridge

Sally Jo Cunningham

J. Stephen Downie

Eibe Frank

Steve Jones

Masood Masoodian

Tony McGregor

Bernhard Pfahringer

Mark Utting

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