Dr John Anthony Hall
FREng
British Museum , as of Sep 2026
Emeritus Fellow , Elected 2003 , South East
J. Anthony Hall is a British software engineer specializing in the use of formal methods, especially the Z notation.
Adapted from Wikipedia, CC BY-SA 4.0
Expertise
Links
Sources
- Identity
Likely (grade C) , one source states they are a Fellow , Wikidata , 30 Sep 2026
Why we think this is them
Wikidata , 30 Sep 2026 , records them as a Fellow of the Academy
- Directory entry
RAEng directory , 30 Sep 2026 , read from the page , facts , high confidence
- Summary
Wikipedia , 30 Sep 2026 , via API , CC BY-SA 4.0 , medium confidence