Breadcrumbs

Professor Steve Reeves

Professor (Computer Science)

Qualifications: BSc(Hons) PhD Birm FIITP FBCS CITPNZ

Contact Details

Email: stever@waikato.ac.nz
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

  • Turner, J., Bowen, J., & Reeves, S. (2018). Simulating interaction sequences. In Proc 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018): Late-Breaking Results. Paris, France.

  • Turner, J., Bowen, J., & Reeves, S. (2018). Using abstraction with interaction sequences for interactive system modelling. In Proc 7th International Workshop on Formal Methods for Interactive Systems (FMIS 2018). Toulouse, France.

  • Pilbrow, C., & Reeves, S. (2018). Characterising sound visualisations of specifications using micro-charts and refinement. In J. Lv, H. Zhang, M. Hinchey, & X. Liu (Eds.), Proc 24th Asia-Pacific Software Engineering Conference (APSEC 2017) (pp. 612-617). Nanjing, China. doi:10.1109/APSEC.2017.74 Open Access version: https://hdl.handle.net/10289/11948

  • Turner, J., Bowen, J., & Reeves, S. (2017). Supporting interactive system testing with interaction sequences. In Proc 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2017) (pp. 129-132). Lisbon, Portugal: ACM. doi:10.1145/3102113.3102149

Find more research publications by Steve Reeves