Jump to content

Steve Reeves (computer scientist): Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
Added relevant ref, tidying
No edit summary
 
(40 intermediate revisions by 29 users not shown)
Line 1: Line 1:
{{short description|Computer scientist}}
{{About|the computer scientist|the actor|Steve Reeves{{!}}Steve Reeves (actor)}}
{{Use dmy dates|date=April 2018}}
{{Use British English|date=April 2018}}
{{Infobox scientist
{{Infobox scientist
| image =
| image =
| name = Steve Reeves
| name = Steve Reeves
| birth_date = 31st October, 1957
| birth_date = {{birth-date and age|31 October 1957}}
| birth_place = [[Brighton]], [[England]]
| birth_place = [[Brighton]], [[England]]
| residence = [[New Zealand]]
| nationality = [[United Kingdom|British]]
| field = [[Computer science]], [[software engineering]], [[formal methods]]
| nationality = [[United Kingdom|British]]
| field = [[Computer science]], [[software engineering]], [[formal methods]]
| work_institution = [[University of Waikato]], [[University of Essex]], [[Queen Mary, University of London]]
| work_institution = [[University of Waikato]]
| alma_mater = [[University of Birmingham]]
[[University of Essex]]
[[Queen Mary College]], [[University of London]]
| alma_mater = [[University of Birmingham]]
}}
}}


Prof. '''Steve Reeves''' is a [[computer scientist]] based at the [[University of Waikato]] in [[New Zealand]].<ref>[http://www.cs.waikato.ac.nz/~stever/ Steve Reeves Personal Web Page], [http://www.cs.waikato.ac.nz/ Department of Computer Science], [[University of Waikato]], New Zealand.</ref> He is the Associate Dean and the Programme Co-ordinator of [[Software Engineering]].<ref>[http://www.cs.waikato.ac.nz/people/ People: Computer Science], Department of Computer Science, University of Waikato, New Zealand.</ref> He has undertaken research work on the [[Z notation]], [[formal methods]] for [[GUI]] design and a general theory of [[refinement]].
'''Steve Reeves''' is a [[computer scientist]] based at the [[University of Waikato]] in [[New Zealand]].<ref>[https://profiles.waikato.ac.nz/steve.reeves/ Steve Reeves Personal Web Page], [http://www.cs.waikato.ac.nz/ Department of Computer Science], [[University of Waikato]], New Zealand.</ref> He has been in the various roles of Associate Dean, Programme Co-ordinator and Head of Department of [[Software Engineering]].<ref>[http://www.cs.waikato.ac.nz/people/ People: Computer Science], Department of Computer Science, University of Waikato, New Zealand.</ref> He has undertaken research work on the [[Z notation]], [[formal methods]] for [[GUI]] design, a general theory of [[refinement (computing)|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,<ref>Martin Henson, [http://www.springerlink.com/content/1b8jul0xdx0lcy5f/ The Standard Logic of Z is Inconsistent], ''[[Formal Aspects of Computing]]'', Volume 10, Number 3, 243–247, 1998. {{doi:10.1007/s001650050014}}.</ref> in relation to the the international [[ISO]] standard for Z.<ref>''[http://www.iso.ch/iso/en/CatalogueDetailPage.CatalogueDetail?CSNUMBER=21573 Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics]'', ISO/IEC 13568:2002, [http://www.iso.ch/ ISO], 2002.</ref>
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 (computer scientist)|Martin Henson]], he has studied the formal semantics of the [[Z notation]] in detail,<ref>Martin Henson, [https://archive.today/20130202212345/http://www.springerlink.com/content/1b8jul0xdx0lcy5f/ The Standard Logic of Z is Inconsistent], ''[[Formal Aspects of Computing]]'', Volume 10, Number 3, 243–247, 1998. {{doi|10.1007/s001650050014}}.</ref> in relation to the international [[International Organization for Standardization|ISO]] standard for Z.<ref>''[http://www.iso.ch/iso/en/CatalogueDetailPage.CatalogueDetail?CSNUMBER=21573 Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics]'', ISO/IEC 13568:2002, [http://www.iso.ch/ ISO], 2002.</ref>

He has done work (initially with colleagues from [http://data61.csiro.au Data61]) on uses for [[blockchain]]. He has had a two seed grants awarded by the [[New Zealand]] Science for Technological Innovation fund [http://www.sftichallenge.govt.nz/research/seed-projects 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 [https://www.sftichallenge.govt.nz/our-research/projects/spearhead/veracity-technology/ 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.<ref>[http://www.bcs.org/server.php?show=conWebDoc.33186 Past events: 2005], [[BCS-FACS]], UK.</ref>
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.<ref>[http://www.bcs.org/server.php?show=conWebDoc.33186 Past events: 2005], [[BCS-FACS]], UK.</ref>


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 [http://www.apsec2016.org].
== Selected publications ==
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 ([https://itp.nz/Members/Certification/Certification-Registers CITPNZ]).
⚫
Reeves has published a number of academic papers, including:<ref>[http://en.scientificcommons.org/steve_reeves Steve Reeves], [[Scientific Commons]].</ref>


⚫
Reeves has published a number of academic papers.<ref>[http://en.scientificcommons.org/steve_reeves Steve Reeves], [[Scientific Commons]].</ref>
* [[Martin C. Henson]] and Steve Reeves, Revising Z: Part I — Logic and Semantics. ''[[Formal Aspects of Computing]]'', 11(4):359–380, 1999.
* Martin C. Henson and Steve Reeves. Revising Z: Part II — Logical Development. ''Formal Aspects of Computing'', 11(4):381–401, 1999.
* Martin C. Henson, Steve Reeves and [[Jonathan P. Bowen]], Z Logic and its Consequences. ''CAI: Computing and Informatics'', 22(4):381–415, 2003. In [[Dines Bjørner]] (editor), special issue on ''The Logics of Formal Specification Languages''.
* Judy Bowen and Steve Reeves, [http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/33 UI-Design Driven Model-Based Testing], ''EC-EASST'', vol. 22.
* Judy Bowen and Steve Reeves, Refinement for user interface designs. ''Formal Aspects of Computing'', 21(6):589–612, 2009.
* Judy Bowen and Steve Reeves, Formal models for user interface design artefacts. ''[[Innovations in Systems and Software Engineering]]'', 4(2):125–141, 2009.
* Steve Reeves and David Streader, Data refinement and singleton failures refinement are not equivalent. ''Formal Aspects of Computing'', 20(3):295–301, 2008.
* Steve Reeves and David Streader, A Robust Semantics Hides Fewer Errors, ''[[Lecture Notes in Computer Science]]'', vol. 5850, pp. 499–515, [[Springer-Verlag]], 2009.
* Greg Reeve and Steve Reeves, <math>\mu</math>-Charts and Z: Hows, Whys and Wherefores. Proceedings of IFM 2000, Lecture Notes in Computer Science, vol. 1945, pp. 256–276, (eds.) W. Grieskamp, T. Santen, and B. Stoddart, Springer-Verlag, 2000.


== References ==
==References==
{{reflist}}
{{Reflist}}


== External links ==
==External links==
* [https://profiles.waikato.ac.nz/steve.reeves Steve Reeves home page]
⚫
* {{dblp name|name=Steve Reeves|id=r/Reeves:Steve}}
* {{Google Scholar id|name=Steve Reeves}}
⚫
* {{DBLP|name=Steve Reeves}}
* {{AcademicSearch|892086}}

{{Authority control}}


{{Persondata <!-- Metadata: see [[Wikipedia:Persondata]]. -->
| NAME =Reeves, Steve
| ALTERNATIVE NAMES =
| SHORT DESCRIPTION =
| DATE OF BIRTH = 1957
| PLACE OF BIRTH = [[Brighton]], [[England]]
| DATE OF DEATH =
| PLACE OF DEATH =
}}
{{DEFAULTSORT:Reeves, Steve}}
{{DEFAULTSORT:Reeves, Steve}}
[[Category:1957 births]]
[[Category:1957 births]]
[[Category:Living people]]
[[Category:Living people]]
⚫
[[Category:People from Brighton]]
[[Category:Alumni of the University of Birmingham]]
[[Category:Alumni of the University of Birmingham]]
[[Category:English computer scientists]]
[[Category:English computer scientists]]
[[Category:New Zealand computer scientists]]
[[Category:British expatriates in New Zealand]]
[[Category:English immigrants to New Zealand]]
[[Category:Formal methods people]]
[[Category:Formal methods people]]
[[Category:Academics of the University of Essex]]
[[Category:Academics of the University of Essex]]
[[Category:Academics of Queen Mary, University of London]]
[[Category:Academics of Queen Mary University of London]]
[[Category:University of Waikato faculty]]
[[Category:Academic staff of the University of Waikato]]
[[Category:Fellows of the British Computer Society]]
[[Category:Fellows of the British Computer Society]]
⚫
[[Category:People from Brighton]]

{{academic-bio-stub}}
{{compu-bio-stub}}

Latest revision as of 23:36, 28 August 2023

This article is about the computer scientist. For the actor, see Steve Reeves (actor).

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

References

[edit]
  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.
[edit]
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Steve_Reeves_(computer_scientist)&oldid=1172732969"