Dr Colin Pilbrow

Postdoctoral Fellow (Computer Science)

Qualifications: PhD (Computer Science) Waikato
BCMS (Hons) Waikato

Contact Details

Room: G.1.29
Phone: +64 7 837 9584

Research Interests

Colin's PhD research showed that refinement relations can be created between visualisations of complex systems and their formal specifications. More specifically focusing on the Z specification language, state transition diagrams, and μ-Charts.

Colin's postdoctoral research is for a Science for Technological Innovation Seed Project called Nga taonga o nehe ra me te heke mai: treasures of the past and future. This project involves developing decentralised technology for Māori communities to develop, store and share taonga in a fashion that retains their ownership and sovereignty of their data. The project focuses on how to handle and support disputes and differences in data e.g. Tribal histories: the differences in narratives, people involved, locations, and times.

Teaching Commitments

Recent Publications

  • 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:

  • 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). Conference held Adelaide, Australia: ACM. doi:10.1145/2811681.2811702 Open Access version:

  • Pilbrow, C., & Malik, R. (2015). An algorithm for compositional nonblocking verification using special events. Science of Computer Programming, 113, Part 2, 119-148. doi:10.1016/j.scico.2015.05.010 Open Access version:

  • Pilbrow, C., & Reeves, S. (2015). Using state machines for the visualisation of specifications via refinement. In Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference on - ASWEC ' 15 Vol. II (pp. 106-110). ACM Press. doi:10.1145/2811681.2811702

Find more research publications by Colin Pilbrow