View source for 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 notation|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.

[[Category:Computer Science]]
[[Category:People]]