J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.
His subsequent posts have included: In particular, Hall has worked on software development using formal methods for the UK National Air Traffic Services (NATS).
He has been an invited speaker at conferences concerned with formal methods, requirements engineering and software engineering.
Hall was the founding chair of ForTIA, the Formal Techniques Industry Association.
This article on a computer specialist of the United Kingdom is a stub.