Professor Steve Reeves
Professor (Computer Science)
Qualifications: BSc(Hons) PhD Birm FIITP FBCS CITPNZ
Phone: +64 7 838 4398
Fax: +64 7 858 5095
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.
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 ISO working groups around the fundamentals of blockchain and various applicaitons.
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). Conference held Nanjing, China. doi:10.1109/APSEC.2017.74 Open Access version: https://hdl.handle.net/10289/11948
Turner, J., Bowen, J., & Reeves, S. (2018). Using abstraction with interaction sequences for interactive system modelling. In M. Mazzara, I. Ober, & G. Salaün (Eds.), Proc STAF 2018 Collocated Workshops, Software Technologies: Applications and Foundations (FMIS 2018) Vol. LNCS 11176 (pp. 257-273). Conference held Toulouse, France: Springer. doi:10.1007/978-3-030-04771-9_20
Turner, J., Bowen, J., & Reeves, S. (2018). Simulating interaction sequences. In Proc 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018) (pp. 8:1-8:7). New York, NY: ACM. doi:10.1145/3220134.3220139
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: https://hdl.handle.net/10289/11071
Find more research publications by Steve Reeves