 J. Anthony Hall

J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.Anthony Hall was educated at the University of Oxford with a BA in chemistry and a DPhil in theoretical chemistry.