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.
Projects
Development and consultancy projects in aviation, rail, finance and telecoms.
Professional Activities
Academic and professional affiliations and contributions to technical conferences.
Career History
Current activities and previous employment.
Publications
Journal and conference papers on requirements, formal methods, software engineering and other topics.
Contact information
Technology
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.