Software and Systems Engineering

Anthony Hall 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.

Professional Activities

Academic and professional affiliations and contributions to technical conferences.

Career History

Current activities and previous employment.


Journal and conference papers on requirements, formal methods, software engineering and other topics.

Contact information


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.

© 2019 Anthony Hall