Catherine obtained a BSc in Mathematics from the Australian National University in 2001, and a PhD in Mathematics / Computer Science from the University of Adelaide in 2006. Her work focused on the use of category theory to define internally consistent modular system specifications. She was also involved in defining a category theoretical semantics for Rosetta, a hardware description language under development at Kansas University.
Since then, Catherine has worked as a consultant with Accenture, and as part of the National ICT Australia team responsible for verifying the seL4 microkernel. She has also been part of the Software Systems Engineering Initiative at the University of York, where her work involved producing an Interim Standard of Best Practice for software compliance with Def Stan 00–56.
Catherine joined Adelard in 2010.