Steve Reeves (computer scientist)
|Born||31 October 1957 (age 60)
|Alma mater||University of Birmingham|
|Fields||Computer science, software engineering, formal methods|
|Institutions||University of Waikato, University of Essex, Queen Mary, University of London|
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.
Steve Reeves is currently Chair of the Z User Group, and the New Zealand member of the Australasian Software Engineering Conference (ASWEC) Steering Committee and the Asia-Pacific Software Engineering Conference (APSEC), held at Waikato in December 2016 . He is a Fellow of the British Computer Society, a Fellow of the Institute of IT Professionals (formerly the New Zealand Computer Society), and is a Chartered IT Professional (CITPNZ).
Reeves has published a number of academic papers.
- Steve Reeves Personal Web Page, Department of Computer Science, University of Waikato, New Zealand.
- People: Computer Science, Department of Computer Science, University of Waikato, New Zealand.
- Martin Henson, The Standard Logic of Z is Inconsistent, Formal Aspects of Computing, Volume 10, Number 3, 243–247, 1998. doi:10.1007/s001650050014.
- Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002, ISO, 2002.
- Past events: 2005, BCS-FACS, UK.
- Steve Reeves, Scientific Commons.