Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.