[1] He has been in the various roles of Associate Dean, Programme Co-ordinator and Head of Department of Software Engineering.
[2] He has undertaken research work on the Z notation, formal methods for GUI design, a general theory of refinement and logic for veracity.
Steve Reeves' academic work is in the area of formal methods to aid software engineering.
With Prof. Martin Henson, he has studied the formal semantics of the Z notation in detail,[3] in relation to the international ISO standard for Z.
[5] Steve Reeves is currently Chair of the (somewhat defunct) 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 [1].