Specialist Areas
- Claims, Arguments and Evidence
- Safety Case Research
- Development of Safety Cases
- Defence/Weapons Safety and Environmental Cases
- Assurance Cases for Medical Devices
- Independent Safety Audit
- Software Development and Analysis
- Human Factors
- Hazard Analysis
- Software Reliability and Integrity Prediction
- Standards and Guidelines
- Technical due diligence
- Expert witness
- Operational risk
- Training
- Software Tools
Catherine Menon
Position: Senior ConsultantCatherine 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.