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.
Academic and professional affiliations and contributions to technical conferences.
Current activities and previous employment.
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.