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.