Steve Reeves (computer scientist)

Last updated

Steve Reeves
Born31 October 1957 (1957-10-31) (age 65)
Brighton, England
Nationality British
Alma mater University of Birmingham
Scientific career
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. [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. 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, [3] in relation to the international ISO standard for Z. [4]

He has done work (initially with colleagues from Data61) on uses for blockchain. He has had a two seed grants awarded by the New Zealand Science for Technological Innovation fund SfTI.

More recently he has developed a logic for veracity, also under the SfTI scheme, but this time as part of a multi-university Spearhead grant Veracity project.

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. [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 . 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. [6]

Related Research Articles

<span class="mw-page-title-main">Z notation</span> Formal specification language used for describing and modelling computing systems

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.

In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.

A modeling language is any artificial language that can be used to express data, information or knowledge or systems in a structure that is defined by a consistent set of rules. The rules are used for interpretation of the meaning of components in the structure Programing language.

<span class="mw-page-title-main">Peter Landin</span> British computer scientist (1930–2009)

Peter John Landin was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of both functional programming and denotational semantics.

Architecture description languages (ADLs) are used in several disciplines: system engineering, software engineering, and enterprise modelling and engineering.

<span class="mw-page-title-main">Jonathan Bowen</span> British computer scientist

Jonathan P. Bowen FBCS FRSA is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. Prof. Bowen is also the Chairman of Museophile Limited and has been a Professor of Computer Science at Birmingham City University, Visiting Professor at the Pratt Institute, University of Westminster and King's College London, and a visiting academic at University College London.

The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.

In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures.

The Z User Group (ZUG) was established in 1992 to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.

<span class="mw-page-title-main">BCS-FACS</span> Specialist Group of the BCS

BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.

James Charles Paul Woodcock is a British computer scientist.

The Semantics of Business Vocabulary and Business Rules (SBVR) is an adopted standard of the Object Management Group (OMG) intended to be the basis for formal and detailed natural language declarative description of a complex entity, such as a business. SBVR is intended to formalize complex compliance rules, such as operational rules for an enterprise, security policy, standard compliance, or regulatory compliance rules. Such formal vocabularies and rules can be interpreted and used by computer systems. SBVR is an integral part of the OMG's model-driven architecture (MDA).

<span class="mw-page-title-main">Martin Henson (computer scientist)</span> English computer scientist

Professor Martin C. Henson FBCS FRSA is an English computer scientist based at the University of Essex. He is dean for international affairs and is affiliated to the School of Computer Science & Electronic Engineering. Henson was head of the department of computer science from 2000 to 2006.

Michael ("Mike") William Shields is a British computer scientist.

<span class="mw-page-title-main">Grigore Roșu</span> Computer science professor

Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework, matching logic, and automated coinduction.

<span class="mw-page-title-main">Robert France</span> Jamaica-born American computer scientist

Robert Bertrand France was a Jamaica-born American computer scientist.

<span class="mw-page-title-main">Sergiy Vilkomir</span> Ukrainian-born computer scientist (1956–2020)

Sergiy A. Vilkomir was a Ukrainian-born computer scientist.

<span class="mw-page-title-main">Hussein Zedan</span>

Hussein S. M. Zedan was a computer scientist of Egyptian descent, mainly based in the United Kingdom.

Tim Denvir is a British software engineer, specialising in formal methods.

<span class="mw-page-title-main">Ken Robinson (computer scientist)</span> Australian computer scientist (1938–2020)

Kenneth ("Ken") Arthur Robinson was an Australian computer scientist. He has been called "The Father of Formal Methods in Australia".

References

  1. ↑ Steve Reeves Personal Web Page, Department of Computer Science, University of Waikato, New Zealand.
  2. ↑ People: Computer Science, Department of Computer Science, University of Waikato, New Zealand.
  3. ↑ Martin Henson, The Standard Logic of Z is Inconsistent, Formal Aspects of Computing , Volume 10, Number 3, 243–247, 1998. doi : 10.1007/s001650050014.
  4. ↑ Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics , ISO/IEC 13568:2002, ISO, 2002.
  5. ↑ Past events: 2005, BCS-FACS, UK.
  6. ↑ Steve Reeves, Scientific Commons.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.