Jean-Raymond Abrial (1938 – 2025) Pioneer of Formal Methods and Inventor of the B Method. An Obituary
Jean-Raymond Abrial (6 November 1938 – 26 May 2025), one of the founding figures of modern formal methods in computer science, passed away at the age of 86. His contributions laid the groundwork for mathematically rigorous software development, and his influence spans generations of researchers, engineers, and educators worldwide.
Authors
- James Woodcock
Institutions
- Southwest University (CN)
- Aarhus University (DK)
- State Key Laboratory of Vehicle NVH and Safety Technology (CN)
- University of York (GB)
Publication Details
- Journal
- Formal Aspects of Computing
- Published
- 2026-01-22
- DOI
- https://doi.org/10.1145/3783997
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00