Professor Steve Reeves

Professor (Computer Science)

Qualifications: BSc(Hons) PhD Birm FIITP FBCS CITPNZ

Contact Details

Room: G.1.26
Phone: +64 7 838 4398
Extension: 4398
Fax: +64 7 858 5095

About Steve

My BSc degree is in Mathematics, where I specialized in theoretical Computer Science, and my PhD degree is in Computer Science. My PhD thesis was on automated theorem-proving (ATP), a hard and important area within logic and artificial intelligence. After my PhD I was a Lecturer in Computer Science at the University of Essex, moving from there to being a Lecturer in Computer Science at QMW (formerly QMC) in the University of London. I moved to Waikato in January 1994 and am currently a Professor in Computer Science.

Research Interests

Having worked on ATP for my PhD, I continued that work myself, along with my PhD students, for some years. As time went on I came across other, connected, topics that were interesting and important and I gradually expanded my research into theorem-proving which required some user-interaction and also into non-standard logics which can be used to support programming. This led to work in the area of constructive type-theory, which involved a single logical system for specifying and implementing programs, and (very fashionably these days) allows for dependent types (and has transformed into Agda).

That work grew into developing a whole new basis for the formal specification language Z: the work was done jointly with Martin Henson from the University of Essex, U.K.

I have also worked with David Streader on general forms of refinement.

A strand of work which has grown in the last ten years concerns modelling and formally specifying interactive systems (particularly safety-critical ones, like small medical devices) with Judy Bowen.

I have recently started work on a project funded by Science for Technological Innovation (SfTI) to do with storing taonga and other cultural artefacts in a secure and trusted way via blockchain. I am also involved in BRONZA (Blockchain Researchers of New Zealand Aotearoa) and chaired the first meeting of this group. I am also working with colleagues in Data61 in Sydney on blockchain-related research, and colleagues at the HASLab in Minho on the interface between UX and security.

Teaching Commitments

Recent Publications

  • Jaidka, S., Reeves, S., & Bowen, J. (2017). Modelling safety-critical devices: coloured Petri nets and Z. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 51-56). Conference held Lisbon, Portugal. doi:10.1145/3102113.3102125

  • Bowen, J., & Reeves, S. (2017). Generating obligations, assertions and tests from UI models. Proceedings of the ACM on Human-Computer Interaction - EICS, 1(1), 5:1-5:18. doi:10.1145/3095807

  • Bowen, J., & Reeves, S. (2017). Combining models for interactive system modelling. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human Computer Interaction (pp. 161-182). Springer. doi:10.1007/978-3-319-51838-1_6 Open Access version:

  • Derrick, J., Boiten, E., & Reeves, S. (2016). Proceedings of the Seventeenth International Workshop on Refinement. In J. Derrick, E. A. Boiten, & S. Reeves (Eds.), Refine@FM 2015 Vol. EPTCS 209. Oslo, Norway. doi:10.4204/EPTCS.209

Find more research publications by Steve Reeves