Home

Software and Systems Engineering

Anthony HallI am a 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. I now work as an independent consultant offering technical leadership, consultancy and training.

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.

© 2010 Anthony Hall

In case of problems,
please contact

[Home] [Projects] [Professional] [Career History] [Publications] [Contact me] [Technology]