Jean-Raymond Abrial (1938 – 2025) Pioneer of Formal Methods and Inventor of the B Method. An Obituary

Formal Aspects of Computing 2026

View at publisher
Authors: James Woodcock
DOI: 10.1145/3783997
Cited by: 1

Abstract

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.

Fields of Study & Subjects

Logic programming and type systems Polynomial and algebraic computation Computability AI Algorithms

Publication details

Journal / source
Formal Aspects of Computing
Publisher
Association for Computing Machinery (ACM)
Volume
38
Issue
1
Pages
1–2
Publication date
22 January 2026
Language
EN