I am a (mostly) retired software and systems engineer specialising in the development of safety-critical and security-critical operational systems. I have led the development of software that achieved outstanding user satisfaction, reliability and freedom from defects.
Development and consultancy projects in aviation, rail, finance and telecoms.
Academic and professional affiliations and contributions to technical conferences.
Current activities and previous employment.
Journal and conference papers on requirements, formal methods, software engineering and other topics.
Information about Correctness by Construction, the process that I and colleagues in Praxis Critical Systems developed to achieve economical development and high assurance by integrating rigorous requirements engineering, formal methods and static analysis.