Education Policy | Post Primary | Preschool | Primary | Tertiary | Search


Waikato Professor Breaks New Ground

Media Release

Stephen Ward

Waikato Professor Breaks New Ground

Waikato University computer sciences department academic Steve Reeves has become New Zealand’s first university professor in the software engineering speciality known as formal methods (FM).

“This is the part of software engineering that builds formal, usually mathematical, abstract models of systems before they are actually implemented,” says Professor Reeves.

“We can then use a variety of tools to investigate whether the system actually works and is what the customer wants, and, most importantly, that it is correct, meets safety and security requirements and so on.

“The important thing is that the FM models mean this is done before the huge investment of time and cost is made in building the software itself. If software is actually built before error or ‘bugs’ are found it can result in expensive fixes or, at worst, a human disaster if safety issues are involved.”

Professor Reeves says Waikato has, since 1999, had the only specialist formal methods laboratory in the country. “Our FM research group has had significant success in obtaining research grants from government sources. We have important links with overseas labs, in the UK and France mainly, and so we are part of international work in this vital area. We have developed tools, which are freely available under the GNU public licence, to support model-building and model-investigation.”

The lab is also part of an international project, co-ordinated by a member of the lab, Dr Mark Utting, to allow the work of several labs from around the world to be integrated and so make further tool-building more effective.

“We are always on the look-out for excellent students to join us, especially at the post-graduate level, and so allow us to make further progress in this challenging and important area,” says Professor Reeves.

“We are also looking to find, especially local, NZ companies with whom we can work. By having our ideas and tools tried out under industrial conditions we find the impetus to make further progress with our research, but also we hope to aid NZ industry directly.”


© Scoop Media

Culture Headlines | Health Headlines | Education Headlines

Gordon Campbell: Best New Music Of 2017

Any ‘best of list’ has to be an exercise in wishful thinking, given the splintering of everyone’s listening habits... But maybe… it could be time for the re-discovery of the lost art of listening to an entire album, all the way through. Just putting that idea out there. More>>

Scoop Review of Books: Ten x Ten - One Hundred of Te Papa's Best-Loved Art Works

An idiosyncratic selection by ten art curators, each of whom have chosen ten of their favourite works. Handsomely illustrated, their choices are accompanied by full-page colour prints and brief descriptions of the work, explaining in straightforward and approachable language why it is of historical, cultural, or personal significance. More>>

Scoop Review of Books: Portacom City - Reporting On Canterbury Earthquakes

In Portacom City Paul Gorman describes his own deeply personal story of working as a journalist during the quakes, while also speaking more broadly about the challenges that confront reporters at times of crisis. More>>

Scoop Review of Books: Christopher Pugsley’s The Camera in the Crowd - Filming in New Zealand Peace and War 1895-1920

Pugsley brings to life 25 exhilarating years of film making and picture screening in a sumptuously illustrated hardback published by Oratia that tells the story through surviving footage unearthed from the national film archives. More>>



  • Wellington
  • Christchurch
  • Auckland