Jean-Raymond Abrial

Jean-Raymond Abrial is a French computer scientist and inventor of the Z and B formal methods. J. -R. Abrial is the father of the Z notation, during his time at the Programming Research Group within the Oxford University Computing Laboratory, and later the B-Method, two leading formal methods for software engineering.