Steve Reeves is a

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

based at the

University of Waikato The University of Waikato ( mi, Te Whare Wānanga o Waikato), is a Public university, public research university in Hamilton, New Zealand, Hamilton, New Zealand established in 1964. An additional campus is located in Tauranga. The university perfo ...

New Zealand New Zealand ( mi, Aotearoa ) is an island country in the southwestern Pacific Ocean. It consists of two main landmasses—the North Island () and the South Island ()—and over 700 smaller islands. It is the sixth-largest island count ...

. He is the Associate Dean and the Programme Co-ordinator of

Software Engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

. He has undertaken research work on the

Z notation The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abrial ...

, formal methods for

GUI The GUI ( "UI" by itself is still usually pronounced . or ), graphical user interface, is a form of user interface that allows users to interact with electronic devices through graphical icons and audio indicator such as primary notation, inste ...

design and a general theory of

refinement Refinement may refer to: Mathematics * Equilibrium refinement, the identification of actualized equilibria in game theory * Refinement of an equivalence relation, in mathematics ** Refinement (topology), the refinement of an open cover in mathem ...

. Steve Reeves' academic work is in the area of formal methods to aid

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

. In particular, he has undertaken research into the design and use of logics for specification. With Prof.

Martin Henson Martin Henson may refer to: * Martin Henson (computer scientist) * Martin Henson (photographer) {{hndis, Henson, Martin ...

, he has studied the formal semantics of the

in detail, in relation to the international

ISO ISO is the most common abbreviation for the International Organization for Standardization. ISO or Iso may also refer to: Business and finance * Iso (supermarket), a chain of Danish supermarkets incorporated into the SuperBest chain in 2007 * Iso ...

standard for Z. He has recently started work (initially with colleagues fro
Data61
on uses for

blockchain A blockchain is a type of distributed ledger technology (DLT) that consists of growing lists of records, called ''blocks'', that are securely linked together using cryptography. Each block contains a cryptographic hash of the previous block, a ...

. He has had a seed grant awarded by the

Science for Technological Innovation fun
SfTI
Reeves has delivered talks internationally, including as the opening talk in the

BCS-FACS BCS-FACS is the BCS ''Formal Aspects of Computing Science'' Specialist Group. Overview The FACS group, inaugurated on 16 March 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is a ...

seminar series at the

British Computer Society Sir Maurice Wilkes served as the first President of BCS in 1957 BCS, The Chartered Institute for IT, known as the British Computer Society until 2009, is a professional body and a learned society that represents those working in infor ...

London London is the capital and largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary down to the North Sea, and has been a majo ...

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 and the Asia-Pacific Software Engineering Conference (APSEC), held at Waikato in December 201

He is a Fellow of the

, a Fellow of the

Institute of IT Professionals The Institute of IT Professionals (IITP) is a non-profit incorporated society in New Zealand. As New Zealand's ICT professional body, the IITP exists to promote education and ensure a high level of professional practice amongst ICT professional ...

(formerly the New Zealand Computer Society), and is a Chartered IT Professional
CITPNZ
. Reeves has published a number of academic papers.Steve Reeves

Scientific Commons ScientificCommons was a project of the University of St. Gallen ''Institute for Media and Communications Management''. The major aim of the project was to develop the world’s largest archive of scientific knowledge with fulltexts freely accessib ...

References

External links

Steve Reeves home page
* * * {{DEFAULTSORT:Reeves, Steve 1957 births Living people People from Brighton Alumni of the University of Birmingham English computer scientists British expatriates in New Zealand Formal methods people Academics of the University of Essex Academics of Queen Mary University of London University of Waikato faculty Fellows of the British Computer Society