Jean-Raymond Abrial

Who is 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. He is the author of The B-Book: Assigning Programs to Meanings. For much of his career he has been an independent consultant, as much at home working with industry as academia. Latterly, he became a Professor at ETH Zurich in Switzerland.