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 fairly recently been doing work 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.

Teaching Commitments

Recent Publications

  • 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

  • Potanin, A., Murphy, G. C., Reeves, S., & Dietrich, J. (2016). Proceedings of the 23rd Asian-Pacific Software Engineering Conference. In A. Potanin, G. C. Murphy, S. V. Reeves, & J. Dietrich (Eds.), Proc 23rd Asian-Pacific Software Engineering Conference. Hamilton, NZ: IEEE.

  • Pilbrow, C., & Reeves, S. V. (2015). Using state machines for the visualisation of specifications via refinement. In F. -C. Kuo, S. Marshall, H. Shen, M. Stumptner, & M. Ali Babar (Eds.), Proc 24th Australasian Software Engineering Conference, Vol II Vol. II (pp. 106-110). Adelaide, Australia: ACM. doi:10.1145/2811681.2811702 Open Access version: hdl:10289/9795

  • Bowen, J., & Reeves, S. V. (2015). Design patterns for models of interactive systems. In Proc 24th Australasian Software Engineering Conference (pp. 223-232). Adelaide, Australia: IEEE. doi:10.1109/ASWEC.2015.30 Open Access version: hdl:10289/9842

Find more research publications by Steve Reeves