Steve Reeves (computer scientist): Computer scientist (1957-) | Biography, Facts, Information, Career, Wiki, Life
peoplepill id: steve-reeves
3 views today
5 views this week
Steve Reeves (computer scientist)
Computer scientist

Steve Reeves (computer scientist)

Steve Reeves (computer scientist)
The basics

Quick Facts

Intro Computer scientist
Is Computer scientist Engineer
From New Zealand
Field Engineering Technology Science
Gender male
Birth 31 October 1957, Brighton
Age 65 years
The details (from wikipedia)


Steve Reeves is a computer scientist based at the University of Waikato in New Zealand. He is the Associate Dean and the Programme Co-ordinator of Software Engineering. He has undertaken research work on the Z notation, formal methods for GUI design and a general theory of refinement.
Steve Reeves' academic work is in the area of formal methods to aid software engineering. In particular, he has undertaken research into the design and use of logics for specification. With Prof. Martin Henson, he has studied the formal semantics of the Z notation in detail, in relation to the international ISO standard for Z.
Reeves has delivered talks internationally, including as the opening talk in the BCS-FACS seminar series at the British Computer Society in London in 2005.
Steve Reeves is currently Chair of the Z User Group, and the New Zealand member of the Australasian Software Engineering Conference (ASWEC) Steering Committee. He is a Fellow of the British Computer Society, a Fellow of the New Zealand Computer Society (now renamed the Institute of IT Professionals), and is an IT Certified Professional (ITCP).
Reeves has published a number of academic papers.

The contents of this page are sourced from Wikipedia article. The contents are available under the CC BY-SA 4.0 license.
comments so far.
From our partners
arrow-left arrow-right instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube pandora tunein iheart itunes