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 editContent deleted Content addedVisualWikitext
Revision as of 18:43, 18 June 2023 editTassedethe (talk | contribs)Autopatrolled, Administrators1,363,826 editsm v2.05 - Repaired 1 link to disambiguation page - (You can help) - Martin HensonTag: WPCleaner← Previous edit Latest revision as of 23:36, 28 August 2023 edit undo2001:df0:4:d916:1cde:562d:266b:dc5d (talk)No edit summary 
Line 14: Line 14:
}} }}


'''Steve Reeves''' is a ] based at the ] in ].<ref>, , ], New Zealand.</ref> He is the Associate Dean and the Programme Co-ordinator of ].<ref>, Department of Computer Science, University of Waikato, New Zealand.</ref> He has undertaken research work on the ], ] for ] design and a general theory of ]. '''Steve Reeves''' is a ] based at the ] in ].<ref>, , ], New Zealand.</ref> He has been in the various roles of Associate Dean, Programme Co-ordinator and Head of Department of ].<ref>, Department of Computer Science, University of Waikato, New Zealand.</ref> He has undertaken research work on the ], ] for ] design, a general theory of ] and logic for veracity.


Steve Reeves' academic work is in the area of ] to aid ]. In particular, he has undertaken research into the design and use of logics for specification. With Prof. ], he has studied the formal semantics of the ] in detail,<ref>Martin Henson, , '']'', Volume 10, Number 3, 243–247, 1998. {{doi|10.1007/s001650050014}}.</ref> in relation to the international ] standard for Z.<ref>'''', ISO/IEC 13568:2002, , 2002.</ref> Steve Reeves' academic work is in the area of ] to aid ]. In particular, he has undertaken research into the design and use of logics for specification. With Prof. ], he has studied the formal semantics of the ] in detail,<ref>Martin Henson, , '']'', Volume 10, Number 3, 243–247, 1998. {{doi|10.1007/s001650050014}}.</ref> in relation to the international ] standard for Z.<ref>'''', ISO/IEC 13568:2002, , 2002.</ref>


He has recently started work (initially with colleagues from ) on uses for ]. He has had a seed grant awarded by the ] Science for Technological Innovation fund . He has done work (initially with colleagues from ) on uses for ]. He has had a two seed grants awarded by the ] Science for Technological Innovation fund .

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 .


Reeves has delivered talks internationally, including as the opening talk in the ] seminar series at the ] in ] in 2005.<ref>, ], UK.</ref> Reeves has delivered talks internationally, including as the opening talk in the ] seminar series at the ] in ] in 2005.<ref>, ], UK.</ref>


Steve Reeves is currently Chair of the ], and the New Zealand member of the Australasian Software Engineering Conference (]) Steering Committee and the Asia-Pacific Software Engineering Conference (APSEC), held at Waikato in December 2016 . Steve Reeves is currently Chair of the (somewhat defunct) ], and the New Zealand member of the Australasian Software Engineering Conference (]) Steering Committee and the Asia-Pacific Software Engineering Conference (APSEC), held at Waikato in December 2016 .
He is a Fellow of the ], a Fellow of the ] (formerly the ]), and is a Chartered IT Professional (). He is a Fellow of the ], a Fellow of the ] (formerly the ]), and is a Chartered IT Professional ().


Line 31: Line 33:


==External links== ==External links==
* *
* {{Google Scholar id|name=Steve Reeves}} * {{Google Scholar id|name=Steve Reeves}}
* {{DBLP|name=Steve Reeves}} * {{DBLP|name=Steve Reeves}}

Latest revision as of 23:36, 28 August 2023

Computer scientist 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. He has been in the various roles of Associate Dean, Programme Co-ordinator and Head of Department of Software Engineering. 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, in relation to the international ISO standard for Z.

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.

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.

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: