Jean-Raymond Abrial

Jean-Raymond Abrial is a French computer scientist and mathematician, best known as the creator of the B method and the Event-B formal method. His work represents one of the most sustained attempts to make mathematically rigorous software development practical and industrial. Abrial developed the B method in the 1980s, extending the state-based specification tradition of Z with a refinement calculus and mechanized proof tools that transformed specification from description into constructive engineering. The Paris Métro Line 14 driverless train system, verified entirely in B, stands as the most visible monument to his methodology. Abrial's later work on Event-B generalized the refinement approach to concurrent and reactive systems, demonstrating that the core insight — abstract specification followed by proven refinement — transcends the sequential software domain. His career embodies a particular conviction: that the gap between formal mathematics and running software is not a philosophical problem but an engineering problem, and that engineering problems yield to persistent, systematic effort.