Jean-Raymond Abrial is a French computer scientist and inventor of the Z and B formal methods. Abrial was a student at the École Polytechnique. Wikipedia