Professor Steve Reeves
Qualifications: BSc(Hons), PhD Birm FIITP, CITPNZ
Phone: +64 7 838 4398
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 Software Engineering.
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.
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.
I have recently been appointed to represent NZ on the International Standards Organisation (ISO) working groups around the fundamentals of blockchain and various applications.
Undergraduate projects on the possible used of blockchain technology for voting, game administration, and legal aspects around governance.
Also PhD projects on fraud detection, the impacts of blockchain ideas on forensic accounting, and the use of formal methods to make the programming of "smart contracts" less error prone, plus the use of Petri nets to model and reason about designs for safety-critical interactive systems.
Reeves, S. (2021). Usable-by-Construction a formal framework: Computer Science Working Paper Series (04/2021). University of Waikato. Open Access version: https://hdl.handle.net/10289/14307
BRITTEN, D., Reeves, S., & Sjöberg, V. (2021). Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts. In B. Bernardo, & D. Marmsoler (Eds.), Proc 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021), OASICS Vol. 95 (pp. 3 pages). doi:10.4230/OASIcs.FMBC.2021.3
Turner, J., Bowen, J., & Reeves, S. (2020). SeqCheck: a model checking tool for interactive systems. In J. Bowen, J. Vanderdonckt, & M. Winckler (Eds.), Proc 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'20) (pp. 1-6). Sophia Antipolis, France: ACM. doi:10.1145/3393672.3398639
Turner, J., Bowen, J., & Reeves, S. (2020). Model-based testing of interactive systems using interaction sequences. Proceedings of the ACM on Human-Computer Interaction, 4(EICS). doi:10.1145/3397873
Find more research publications by Steve Reeves