| Revision as of 20:22, 17 October 2016 editLiamKasbar (talk | contribs)Extended confirmed users30,947 editsNo edit summaryTags: Mobile edit Mobile web edit← Previous edit | Revision as of 03:40, 18 September 2017 edit undo115.188.195.191 (talk) Update to CITPNZ form old ITCPNext edit → | ||
| Line 16: | Line 16: | ||
| 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 . | |||
| 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 |
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 . | ||
| He is a Fellow of the ], a Fellow of the ] (now renamed the Institute of IT Professionals), and is |
He is a Fellow of the ], a Fellow of the ] (now renamed the Institute of IT Professionals), and is a Chartered IT Professional (). | ||
| Reeves has published a number of academic papers.<ref>, ].</ref> | Reeves has published a number of academic papers.<ref>, ].</ref> | ||
Revision as of 03:40, 18 September 2017
This article is about Steve Reeves (computer scientist). For Steve Reeves (actor), see Steve Reeves.| Steve Reeves | |
|---|---|
| Born | 31 October 1957 (1957-10-31) (age 67) 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. 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.
He has recently started work (initially with colleagues from Data61) on uses for blockchain. He has had a seed grant awarded by the New Zealand Science for Technological Innovation fund SfTI.
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 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 New Zealand Computer Society (now renamed the Institute of IT Professionals), and is a Chartered IT Professional (CITPNZ).
Reeves has published a number of academic papers.
References
- Steve Reeves Personal Web Page, Department of Computer Science, University of Waikato, New Zealand.
- People: Computer Science, Department of Computer Science, University of Waikato, New Zealand.
- Martin Henson, The Standard Logic of Z is Inconsistent, Formal Aspects of Computing, Volume 10, Number 3, 243–247, 1998. doi:10.1007/s001650050014.
- Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics, ISO/IEC 13568:2002, ISO, 2002.
- Past events: 2005, BCS-FACS, UK.
- Steve Reeves, Scientific Commons.
External links
- Steve Reeves home page
- Steve Reeves publications indexed by Google Scholar
- Steve Reeves at DBLP Bibliography Server
- Steve Reeves publications indexed by Microsoft Academic
- 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