Misplaced Pages

Steve Reeves (computer scientist): Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 14:15, 28 April 2016 editMagioladitis (talk | contribs)Extended confirmed users, Rollbackers908,574 editsm →External links: Migrating Persondata to Wikidata + other fixes, removed: {{Persondata <!-- Metadata: see Misplaced Pages:Persondata. --> | NAME = Reeves, Steve | ALTERNATIVE NAMES = | SHORT DESCRIPTIO using AWB (12006)← Previous edit Revision as of 20:22, 17 October 2016 edit undoLiamKasbar (talk | contribs)Extended confirmed users30,947 editsNo edit summaryTags: Mobile edit Mobile web editNext edit →
Line 4: Line 4:
| image = | image =
| name = Steve Reeves | name = Steve Reeves
| birth_date = 31 October 1957 | birth_date = {{b-da|31 October 1957}}
| birth_place = ], ] | birth_place = ], ]
| residence = ] | residence = ]

Revision as of 20:22, 17 October 2016

This article is about Steve Reeves (computer scientist). For Steve Reeves (actor), see Steve Reeves.
Steve Reeves
Born31 October 1957 (1957-10-31) (age 67)
Brighton, England
NationalityBritish
Alma materUniversity of Birmingham
Scientific career
FieldsComputer science, software engineering, formal methods
InstitutionsUniversity 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.

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.

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.

External links

Categories: